3810 W '02
The following three publications will serve as the texts of the course:
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.
Proofs as Programs: 19th Century Logic and 21st Century Computing
Source: Dr. Dobb's Journal, technical version. See
Phil Wadler's source page.
last updated on Thu Feb 28 17:51:52 EST 2002