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 | | Martin Luther King Jr. day | | |
W | | Consistency; lambda calculus | Redex I.2; I.3.1-2 | Ex. I.3.4-5 |
M | | Lambda calculus encodings | Redex I.3.3-6 | Ex. I.3.{7,8,12,13} |
W | | Recursion and normal forms | Redex I.3.7-10 | Ex. I.3.16-17 |
M | | ISWIM | Redex I.4 | Ex. I.4.{1,2,9} |
W | | Redex | Redex II.11 | Ex. II.11.2-5 |
M | | Standard Reduction | Redex I.5 | Ex. I.5.1-4 |
W | | Variables and meta-functions | Redex II.12 | II-12... |
M | | CC, SCC | Redex I.6.1-2 | I-6.1-2... |
W | | CK, CEK | Redex I.6.3-5 | I-6.3-4... |
M | | President's day | | |
W | | Tail calls and space | Redex I.7 | Ex. I.7.2-3 |
M | | Errors | Redex I.8.1-2 | Ex. I.8.{1,7,9} |
W | | Exceptions | Redex I.8.3; II.3 | I-8.3... |
M | | Continuations | Redex I.8.4 | Ex. I.8.22 |
W | | State | Redex I.9.1-3 | Ex. I.9.{1,4,5,7} |
M | | CESK, GC | Redex I.9.4-5 | take-home mid-term |
W | | Types | PLLC 12 | Ex. 12.{1,6} |
M | | Spring break | | |
W | | Spring break | | |
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 | | Class canceled | | |
W | | Recursive types | PLLC 17 | Ex. 17.1-3 |
M | | Existential types | PLLC 18 | Ex. 18.1 |
W | | Subtypes | PLLC 19 | Ex. 19.1 |
M | | Classes | PLLC 20 | Ex. 20.2-4 |
W | | Denotational semantics | denote, domains | |