| Date | Topic | Comments |
| 11 Jan | Introduction | |
| 13 Jan | Haskell | |
| 18 Jan | Haskell | |
| 20 Jan | No class | |
| 25 Jan | IMP | |
| 27 Jan | Operational semantics | |
| 1 Feb | Higher-order types | |
| 3 Feb | Equational theories | |
| 8 Feb | Equational theories | |
| 10 Feb | Type safety | |
| 15 Feb | Type safety | |
| 17 Feb | Type safety | |
| 22 Feb | Axiomatic semantics | |
| 24 Feb | Axiomatic semantics | |
| 1 Mar | Quickcheck | |
| 3 Mar | Midterm | |
| 8 Mar | Denotational semantics | |
| 10 Mar | Denotational semantics | |
| 15 Mar | Spring break | |
| 17 Mar | Spring break | |
| 22 Mar | Domain theory | |
| 24 Mar | Domain theory | |
| 29 Mar | Adequacy, full abstraction | |
| 31 Mar | Adequacy, full abstraction | |
| 5 Apr | Computational effects | |
| 7 Apr | Monads | |
| 12 Apr | Assignments | |
| 14 Apr | Exceptions | |
| 19 Apr | Non-determinism | |
| 21 Apr | Continuations | |
| 26 Apr | Arrows; quantum computing | |
| 28 Apr | Conclusion | |
| 5 May | 2:45-4:45 | Final |