| Num | Day | Date | Topics Covered | Notes and PFPL Chapters/Sections | |
|---|---|---|---|---|---|
| 1 | W | 08 Sep | Overview, Operational Semantics | board, 5.1, 5.2, 6.2 | |
| 2 | F | 10 Sep | Lambda calculus | board, 21 | |
| 3 | W | 15 Sep | Type systems, Progress | board, 6 | |
| 4 | F | 17 Sep | Rule induction, Preservation | board, 2, 6 | |
| 5 | W | 22 Sep | Variables, Substitution, Let, Functions | board 3,5,6 | |
| 6 | F | 24 Sep | Scope Checking and Type Checking | board, 3,4,5,6 | |
| 7 | W | 29 Sep | Progress and Preservation for Functions | board, 8 | |
| 8 | F | 1 Oct | Review/homework help | ||
| 9 | W | 6 Oct | Godel's T | board, 9 | |
| 10 | F | 8 Oct | Review/homework help | ||
| 11 | W | 13 Oct | Product and sum types/Homework help session | 10,11, product types, combining types, sum types, board | |
| 12 | F | 15 Oct | Homework help session | ||
| 13 | W | 20 Oct | Datatypes, Recursive Types | board | |
| 14 | F | 22 Oct | Recursion and Recursive Types (Take-home Midterm due) | board | |
| 15 | W | 27 Oct | Exceptions | 29, board, code | |
| 16 | F | 29 Oct | Exceptions II; Pattern matching | board | |
| 17 | W | 3 Nov | Exceptions III, Exceptions via Sum Types | board | |
| 18 | F | 5 Nov | Mutable State I/Union-find | code, board, 31, 34, 35 | |
| 19 | W | 10 Nov | Homework help session | ||
| 20 | F | 12 Nov | Homework help session | ||
| 21 | W | 17 Nov | Mutable State II | board, 31, 34, 35 | |
| 22 | F | 19 Nov | Mutable State III | board, 31, 34, 35 | |
| Nov 24-28 | No class, Thanksgiving | ||||
| 23 | W | 30 Nov | Polymorphism | board, 16 | |
| 24 | F | 3 Dec | Subtyping | board, 24 | |
| 25 | W | 8 Dec | Objects | ||
| 26 | F | 10 Dec | Objects II | ||
| Saturday, Dec 18, 5pm | Take-home final due |