- Tuesday 18 September
- Course “Introduction and Combinator Parsers”.
- Friday 21 September
- Exercise session on
*arithmetic expressions*
- Tuesday 25 September
- Course “Arithmetic Expressions — Abstract Syntax and Proof Principles”
- Friday 28 September
- Exercise session on
*arithmetic expressions*
- Tuesday 2 October
- Course “The Untyped Lambda Calculus (1)”
- Friday 5 October
- Exercise session on
*untyped lambda calculus*
- Tuesday 9 October
- Course “The Untyped Lambda Calculus (2)”
- Friday 12 October
- Exercise session on
*untyped lambda calculus*
- Tuesday 16 October
- Course “The Simply Typed Lambda Calculus”
- Friday 19 October
- Exercise session on
*simply-typed lambda calculus*
~~Tuesday 23 October~~
- --
**Moved to
Friday, 26th of October** Course “Simple Extensions to STLC”
- Friday 26 October
~~Exercise session~~ **Course** on *simply-typed lambda calculus*
- Tuesday 30 October
- Course “More Extensions to STLC”
- Friday 2 November
- Exercise session on
*extensions*
- Tuesday 6 November
- Course “Recursion, References and Store Typings”
- Friday 9 November
- Exercise session on
*extensions*
- Tuesday 13 November
~~Mid-term exam~~Course on *type reconstruction*
- Friday 16 November
- Mid-term exam
- Tuesday 20 November
- Course “Subtyping”
- Friday 23 November
- Exercise session on
*type reconstruction*
- Tuesday 27 November
- Course “Objects”
- Friday 30 November
- Exercise session on
*type reconstruction*
- Tuesday 4 December
- Course “Featherweight Java”
- Friday 7 December
- Exercise session on
*featherweight Java*
- Tuesday 11 December
- Course “Featherweight Java”
- Friday 14 December
- Exercise session on
*featherweight Java*
- Tuesday 18 December
- Course “Featherweight Scala”
- Friday 21 December
- Exercise session on
*featherweight Java*
- Tuesday, 22 January
- Final
**exam**, in CM2