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 |