Gældende indtil 31. marts 2018. Se evt. Det Nye Korps       Information
Lektor Olivier Danvy
Department of Computer Science, Aarhus University
Aabogade 34
8200 Aarhus N
Danmark
danvy @ cs.au.dk
20 58 62 14
Indledende emner
Funktionsprogrammering
Logik
Logikprogrammering
Oversættelse
Semantik
Videregående emner
Compiler Construction
Computational Logic
Evolutionary Algorithms
Functional Programming
Logic Programming
Mobile Computing
Modeling and Simulation
Program Analysis
Program Optimization
Program Transformation
Type Theory
Virtual Machines