| Date | Lesson # | Topics | Reference | HW |
|---|---|---|---|---|
| 3.11.24 | 1 |
Introduction OCaml |
Chapter 1 of "The Functional Approach to Programming" Real World OCaml utop log |
|
| 10.11.24 | 2 |
OCaml Induction |
Chapters 2, 3.4.4, 3.4.6, 3.4.8 of "The Functional Approach to Programming" Chapters 3.1, 3.3 of "The Formal Semantics of Programming Languages" utop log |
HW 1 Due 4.12.24 |
| 17.11.24 | 3 | Natural Semantics | Chapters 1 and 2.1 of "Semantics with Applications" | |
| 24.11.24 | 4 | Axiomatic Semantics |
Chapter 9 of "Semantics with Applications" Derivation for factorial |
|
| 1.12.24 | 5 | Untyped Lambda Calculus |
Chapter 5 of "Types and Programming Languages" Y Combinator |
HW 2
Due 25.12.24 |
| 8.12.24 | 6 |
Strategies
Simply Typed Lambda Calculus I |
Chapters 5 and 9 of "Types and Programming Languages" Type Safety for C++ Derivations in STLC type0.cpp type1.cpp type2.cpp |
|
| 15.12.24 | 7 | Simply Typed Lambda Calculus II |
Chapters 9 and 12 of "Types and Programming Languages" |
|
| 22.12.24 | 8 |
HW 3
Due 22.1.25 |
||
| 29.12.24 |
-- | Hanukkah | ||
| 5.1.25 | 9 | |||
| 12.1.25 | 10 | |||
| 19.1.25 | 11 |
HW 4
Due 5.2.25 |
||
| 26.1.25 | 12 | |||
| 2.2.25 | 13 |