Amr LH 230C. 9am-12pm Wednesdays and by appointment.
Roshan LH 401. Tuesdays 11am-12:15pm, Thursdays 12:15-1:30pm, and by appointment.
| Week 1 (Jan. 10 - Jan. 16) | Semantics: operational, axiomatic, and denotational approaches |
| Week 2 (Jan. 17 - Jan. 23) | Syntactic theories |
| Week 3 (Jan. 24 - Jan. 30) | Lambda Calculus |
| Week 4 (Jan. 31 - Feb. 6) | ISWIM |
| Week 5 (Feb. 7 - Feb. 13) | Abstract machines |
| Week 6 (Feb. 14 - Feb. 20) | Simply Typed Lambda Calculus |
| Week 7 (Feb. 21 - Feb. 27) | Curry-Howard Isomorphism |
| Week 8 (Feb. 28 - Mar. 6) | Typed CPS Translation |
| Week 9 (Mar. 7 - Mar. 13) | Polymorphic Types |
| Week 10 (Mar. 21 - Mar. 27) | Logical Relations |
| Week 11 (Mar. 28 - Apr. 3) | Monads |
| Week 12 (Apr. 4 - Apr. 10) | Syntax and Semantics of State |
| Week 13 (Apr. 11 - Apr. 17) | Syntax and Semantics of Exceptions |
| Week 14 (Apr. 18 - Apr. 24) | Subtyping, Existential, and Recursive Types |
| Week 15 (Apr. 25 - Apr. 31) | Other effects, pi-calculus |