Amr LH 230C. TBA
| Week 1 (Jan. 9 - Jan. 15) | Semantics: operational, axiomatic, and denotational approaches |
| Week 2 (Jan. 16 - Jan. 22) | Syntactic theories |
| Week 3 (Jan. 23 - Jan. 29) | Lambda Calculus |
| Week 4 (Jan. 30 - Feb. 5) | ISWIM |
| Week 5 (Feb. 7 - Feb. 13) | Abstract machines |
| Week 6 (Feb. 13 - Feb. 19) | Simply Typed Lambda Calculus |
| Week 7 (Feb. 20 - Feb. 26) | Curry-Howard Isomorphism |
| Week 8 (Feb. 27 - Mar. 4) | Typed CPS Translation |
| Week 9 (Mar. 5 - Mar. 11) | Polymorphic Types |
| (Mar. 12 - Mar. 18) | Break |
| Week 10 (Mar. 19 - Mar. 25) | Logical Relations |
| Week 11 (Mar. 26 - Apr. 1) | Monads |
| Week 12 (Apr. 2 - Apr. 8) | Syntax and Semantics of State |
| Week 13 (Apr. 9 - Apr. 15) | Syntax and Semantics of Exceptions |
| Week 14 (Apr. 16 - Apr. 22) | Subtyping, Existential, and Recursive Types |
| Week 15 (Apr. 23 - Apr. 29) | Other effects, pi-calculus |