Date | Topic | Notes | Homework |
M | | Reduction semantics | Redex I.1 | Ex. I.1.1-6 |
W | | Induction | Appendix 20 | Ex. 20.1-3, 20.6 |
M | | Consistency; lambda calculus | Redex I.2; I.3.1-2 | Ex. I.3.4-5 |
W | | Lambda calculus encodings | Redex I.3.3-6 | Ex. I.3.{7,8,12,13} |
M | | Martin Luther King Jr. day | | |
W | | Meeting canceled | | |
M | | Recursion and normal forms | Redex I.3.7-10 | Ex. I.3.16-17 |
| | ISWIM | Redex I.4 | Ex. I.4.{1,2,9} |
W | | Redex | Redex II.11 | Ex. II.11.2-5 |
M | | Meeting canceled | | |
W | | Meeting canceled | | |
M | | Standard Reduction | Redex I.5 | Ex. I.5.1-4 |
W | | Variables and meta-functions | Redex II.12, iswim2 | II-12... |
M | | President's day | | |
W | | CC, SCC, CK | Redex I.6.1-3 | I-6.1-3... |
M | | CEK, tail calls, and space | Redex I.6.5; I.7 | I-6.4, Ex. I.7.2-3 |
W | | Errors and exceptions | Redex I.8.1-3 | Ex. I.8.{1,7,9} |
M | | State | Redex I.9.1-3 | Ex. I.9.{1,4,5,7} |
W | | CESK, GC | Redex I.9.4-5 | take-home mid-term |
M | | Spring break | | |
W | | Spring break | | |
M | | Meeting canceled | | |
W | | Meeting canceled | | |
M | | Types | PLLC 12 | Ex. 12.{1,6} |
W | | Review | | |
M | | Simply Typed ISWIM | PLLC 13 | 13... |
W | | Pairs, Variants, Recursion | PLLC 14 | Ex. 14.1-4 |
M | | Polymorphism | PLLC 15 | Ex. 15.1-2 |
W | | Type inferrence | PLLC 16 | Ex. 16.1-2 |
M | | Recursive and existential types | PLLC 17, 18 | Ex. 17.1-3 |
W | | Subtypes | PLLC 19 | Ex. 19.1 |
M | | Classes | PLLC 20 | Ex. 20.5 |
W | | Denotational semantics | denote, domains | |