| Num | Day | Date | Topics Covered | PFPL Chapters (in 1.42) |
|---|---|---|---|---|
| 1 | Th | 23 Jan | Overview | |
| 2 | Tu | 28 Jan | Inductive definitions | 1-3 |
| 3 | Th | 30 Jan | Operational semantics | 4-7 |
| 4 | Tu | 4 Feb | Type systems and type safety | 4-7 |
| 5 | Th | 6 Feb | Hypothetical Judgements | 3, 4-7 |
| 6 | Tu | 11 Feb | Functions | 8 |
| 7 | Th | 13 Feb | Godel's T | 9 |
| 8 | Tu | 18 Feb | PCF | 10 |
| 9 | Th | 20 Feb | Products and Sums | 11-12 |
| 10 | Tu | 25 Feb | Recursive Types | 16 |
| 11 | Th | 27 Feb | Recursion from Recursive Types | 16 |
| 12 | Tu | 4 Mar | Dynamic Typing | 18 |
| 13 | Th | 6 Mar | MIDTERM | |
| 11-20 Mar | No class: spring break! | |||
| 14 | Tu | 25 Mar | Hybrid Typing | 19 |
| 15 | Th | 27 Mar | Untyped Lambda Calculus | 17 |
| 14 | Tu | 1 Apr | Polymorphism | 20 |
| 15 | Th | 3 Apr | Abstract Types | 21 |
| 16 | Tu | 8 Apr | Subtyping | 23 |
| 17 | Th | 10 Apr | Subtyping II | 23 |
| 18 | Tu | 15 Apr | Classes and Methods | 26-27 |
| 19 | Th | 17 Apr | Stack Machines; Exceptions | 28-29 |
| 20 | Tu | 22 Apr | Continuations | 30 |
| 21 | Th | 24 Apr | State I | 36 |
| 22 | Tu | 29 Apr | State II | 37 |
| 23 | Th | 1 May | Multithreading and State Passing | |
| 26 | Tu | 6 May | no class |
Note that the schedule and topics may change.