Tuesday, Sept 16
Course “Introduction and Combinator Parsers”.
Friday, Sept 19
Exercise session on arithmetic expressions
Tuesday, Sept 23
Course “Arithmetic Expressions — Abstract Syntax and Proof Principles”
Friday, Sept 26
 Exercise session on arithmetic expressions
Tuesday, Sept 30
Course “The Untyped Lambda Calculus (1)”
Friday, Oct 3
Exercise session on untyped lambda calculus
Tuesday, Oct 7
Course “The Untyped Lambda Calculus (2)”
Friday, Oct 10
Exercise session on untyped lambda calculus
Tuesday, Oct 14
Course “The Simply Typed Lambda Calculus”
Friday, Oct 17
Exercise session on simply-typed lambda calculus
Tuesday, Oct 21
Course “Simple Extensions to STLC”
Friday, Oct 24
Exercise session on simply-typed lambda calculus
Tuesday, Oct 28
Course “More Extensions to STLC”
Friday, Oct 31
Exercise session on extensions
Tuesday, Nov 4
Course “Recursion, References and Store Typings”
Friday, Nov 7
Pen+paper exercise session
Tuesday, Nov 11
Course on type reconstruction
Friday, Nov 14
Mid-term exam
Tuesday, Nov 18
Course “Subtyping”
Friday, Nov 21
Exercise session on type reconstruction
Tuesday, Nov 25
Course “Objects”
Friday, Nov 28
Exercise session on type reconstruction
Tuesday, Dec 2
Course “Featherweight Java”
Friday, Dec 5
Exercise session on practical type systems
Tuesday, Dec 9
Course “Featherweight Java”
Friday, Dec 12
Exercise session on practical type systems
Tuesday, Dec 17
Course “Featherweight Scala”
Friday, Dec 19
Pen+paper exercise session: final exam 2006 (solution)