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 |