| Date | Topic | Comments |
| 2 Sep | Introduction | |
| 4 Sep | Haskell | |
| 9 Sep | Haskell | |
| 11 Sep | Lambda calculi | |
| 16 Sep | Abstract machines | |
| 18 Sep | Abstract machines | |
| 23 Sep | Operational semantics | |
| 25 Sep | Operational semantics | |
| 30 Sep | Higher-order types | |
| 2 Oct | Equational theories | |
| 7 Oct | Equational theories | |
| 9 Oct | Type safety | |
| 14 Oct | Type safety | |
| 16 Oct | Type safety | |
| 21 Oct | Quickcheck | |
| 23 Oct | Midterm | |
| 28 Oct | Axiomatic semantics | |
| 30 Oct | Axiomatic semantics | |
| 4 Nov | Denotational semantics | |
| 6 Nov | Denotational semantics | |
| 11 Nov | Domain theory | |
| 13 Nov | Domain theory | |
| 18 Nov | Adequacy, full abstraction | |
| 20 Nov | Adequacy, full abstraction | |
| 25 Nov | Computational effects | |
| 27 Nov | Thanksgiving | |
| 2 Dec | Monads; Assignments | |
| 4 Dec | Exceptions; Non-determinism | |
| 9 Dec | Continuations | |
| 11 Dec | Arrows; quantum computing |