- 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