The following three publications will serve as the texts of the course:

• Pierce. Types and Programming Languages. MIT Press, 2002."
  The book is now available in the campus bookstore. Please get it from there.
• Wright and Felleisen. A syntactic approach to type soundness. Information and Computation, 1994.
• Felleisen and Flatt. Programming Languages and Lambda Calculi. Unpublished manuscript, 1989-2001"
• Xavier Leroy, et alii The Objective Caml System

Other publications will be added to this page as needed.

Auxiliary Readings:

• Wadler. Proofs as Programs: 19th Century Logic and 21st Century Computing Source: Dr. Dobb's Journal, technical version. See Phil Wadler's source page.