| Date | Lesson # | Topics | Reference | Recitation | HW |
|---|---|---|---|---|---|
| 23.10.22 | 1 | OCaml | Real World OCaml, Part 1, Sections 1 -- 3 | ||
| 30.10.22 | 2 |
Ocaml Induction AST |
Real World OCaml, Part 1, Sections 4 -- 6 Winskel, Chapters 3 -- 4 |
HW 1 Due 20.11.22 |
|
11.11.22 Friday |
3 | Semantics | Nielson and Nielson -- Chapter 3 | ||
| 13.11.22 | 4 | Semantics | Nielson and Nielson -- Chapter 3 | ||
| 20.11.22 | 5 | Lambda Calculus | Pierce -- Section I | HW 2 Due 11.12.22 |
|
| 27.11.22 | 6 | Lambda Calculus | Pierce -- Section II | ||
| 04.12.22 | 7 | Type Inference | |||
| 11.12.22 | 8 | Closure in OCaml | HW 3 Due 08.01.23 |
||
| 18.12.22 | 9 | Imperative Aspects of OCaml | No Recitation | ||
| 25.12.22 | -- | No Class | |||
| 01.01.23 | 10 | Javascript | |||
| 08.01.23 | 11 | Logic Programming |
HW 4 Due 22.01.23 |
||
| 15.01.23 | 12 | ??? | |||
| 22.01.23 | 13 | Summary |