Towards generating arcade game rules with VGDL Thorbjørn S. Nielsen∗ , Gabriella A. B. Barros∗ , Julian Togelius† , and Mark J. Nelson‡ ∗ Center for Computer Games Research, IT University of Copenhagen, Denmar

Source URL: julian.togelius.com

Submission for IFL 2014 pre-proceedings Type-Directed Elaboration of Quasiquotations A High-Level Syntax for Low-Level Reflection David Raymond Christiansen IT University of Copenhagen

Source URL: ifl2014.github.io

• Software engineering
• Computer programming
• Computing
• Functional languages
• Idris
• Agda
• Dependent type
• Lisp
• Lambda calculus
• Scope
• Type theory
• Fold

Membership For membership, please fill in the formula below and send it to: Nao Takeuchi-Storm University of Copenhagen Faculty of Health Sciences

Source URL: parasitology.dk

Towards a Generic Method of Evaluating Game Levels Antonios Liapis1 , Georgios N. Yannakakis1,2 , Julian Togelius1 1: Center for Computer Games Research, IT University of Copenhagen, Copenhagen, Denmark 2: Institute of D

Source URL: julian.togelius.com

B¨ohm Reduction for Terms and Term Graphs Confluence in Infinitary Rewriting Patrick Bahr IT University of Copenhagen

Source URL: cl-informatik.uibk.ac.at

B¨ohm Reduction for Terms and Term Graphs Patrick Bahr IT University of Copenhagen, Denmark Abstract Infinitary rewriting endows a rewriting system with a mode of convergence that assigns

Source URL: cl-informatik.uibk.ac.at

Pain evaluation in cattle Karina Bech Gleerup University of Copenhagen, Section Medicine and Surgery, Campus Taastrup Email: Pain in animals is a welfare concern and it is therefore important to minimize t

Source URL: cphcattle.ku.dk

Designer Modeling for Personalized Game Content Creation Tools Antonios Liapis1 , Georgios N. Yannakakis1,2 , Julian Togelius1 1: Center for Computer Games Research, IT University of Copenhagen, Copenhagen, Denmark 2: In

Source URL: antoniosliapis.com

Laevo: A Temporal Desktop Interface for Integrated Knowledge Work Steven Jeuris, Steven Houben, Jakob Bardram The Pervasive Interaction Technology Laboratory IT University of Copenhagen, Rued Langgaardsvej 7, DK-2300 Cop

Source URL: www.stevenhouben.be

0 Multiparty Asynchronous Session Types KOHEI HONDA, Queen Mary University of London NOBUKO YOSHIDA, Imperial College London MARCO CARBONE, IT University of Copenhagen

Source URL: mrg.doc.ic.ac.uk