Amr LH 230C. Mondays 10am-noon and by appointment. Feel free to drop by at any time for a quick question.
| Week 1 (Jan. 7 - Jan. 13) | Semantics: operational, axiomatic, and denotational approaches |
| Week 2 (Jan. 14 - Jan. 20) | Syntactic theories |
| Week 3 (Jan. 21 - Jan. 27) | (Amr at POPL; Zach Sparks lecturing) Lambda Calculus |
| Week 4 (Jan. 28 - Feb. 3) | ISWIM |
| Week 5 (Feb. 5 - Feb. 11) | Abstract machines |
| Week 6 (Feb. 12 - Feb. 17) | Simply Typed Lambda Calculus |
| Week 7 (Feb. 18 - Feb. 24) | EXAM I (Feb. 19) --- Curry-Howard Isomorphism |
| Week 8 (Feb. 25 - Mar. 3) | Polymorphic Types |
| Week 9 (Mar. 4 - Mar. 10) | Subtyping, Existential, and Recursive Types |
| (Mar. 11 - Mar. 17) | Break |
| Week 10 (Mar. 18 - Mar. 24) | Logical Relations |
| Week 11 (Mar. 25 - Mar. 31) | Logical Relations |
| Week 12 (Apr. 1 - Apr. 7) | Monads |
| Week 13 (Apr. 8 - Apr. 14) | Syntax and Semantics of State |
| Week 14 (Apr. 15 - Apr. 21) | Syntax and Semantics of Exceptions --- EXAM II (Apr. 18) |
| Week 15 (Apr. 22 - Apr. 28) | Other effects, pi-calculus |