| 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 |