Course Schedule

Cco
  • Links to slides are already present, but still dangling until the slides are present too (usually around the time of lecture)
  • For time and location see the CourseInfo.
  • The topic schedule below is provisional, it may shift down/upwards or reshuffle depending on the time spent on the various topics.

Dates and deadlines

Week Date Lecture Lab Deadline Extra material
1(6) Mon, Feb 4, 2013 Intro
Compilers, Interpreters, T-Diagrams
     
  Wed, Feb 6, 2013 The structure of a compiler, Trees
Lab A explanation
     
2(7) Mon, Feb 11, 2013 Expressions: syntax, semantics      
  Wed, Feb 13, 2013 Types, AG (intro, see slides below)      
3(8) Mon, Feb 18, 2013,
start at approx 11:00 - 11:30 with cancelation email if I cannot make it...
AG material, slides from ICFP2012 are used     AG in UHC,
(unused) CCO slides on AG
  Wed, Feb 20, 2013 AG (cont'd)
AG example
  BibTeX2HTML  
4(9) Mon, Feb 25, 2013 -     Lab B explanation
  Wed, Feb 27, 2013 -      
5(10) Mon, Mar 4, 2013 Abstraction Lab A review    
  Wed, Mar 6, 2013 Code generation     Code,
Cheat sheet
  Fri, Mar 8, 2013     T-diagrams (submission until next sunday evening)  
-(11) Mon, Mar 11, 2013 -      
  Wed, Mar 13, 2013 -      
6(12) Mon, Mar 18, 2013 Doaitse Swierstra: Capita selecta: SKI combinators, Super combinators Lab B review   Lambda calculus implementation
  Wed, Mar 20, 2013 System F, Hindley-Milner, Type inference      
  Fri, Mar 22, 2013        
7(13) Mon, Mar 25, 2013 Capita selecta: Garbage Collection     Garbage collection
  Wed, Mar 27, 2013 Capita selecta: Smalltalk & its implementation   Static-link optimisation Smalltalk
8(14) Mon, Apr 1, 2013 (Pasen/Eastern) -      
  Wed, Apr 3, 2013 -      
9(15) Mon, Apr 8, 2013 Capita selecta: UHC Lab C review    
  Wed, Apr 10, 2013   Lab C review    
  Fri, Apr 12, 2013     Type reconstruction