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