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