B522 (Programming Language Foundations)

Prerequisites

References

Office hours

Amr LH 230C. TBA

Tentative Syllabus

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
Amr Sabry