- Email: email@example.com
- Phone: (212) 998-3113
- Office: Warren Weaver Hall, Room 508
- Office hours: Tuesday/Wednesday 4:30-6:00 p.m. and by appointment
Course DescriptionOne of the most important features of any programming language is its type system. Much research has been devoted to developing new type systems, which has led to the introduction of polymorphic functional languages, object oriented languages, and languages with advanced module facilities. This class will investigate the theoretical foundations of type systems and their practical impact upon language design and implementation. Topics to be covered include: The typed lambda calculus in its many forms, the semantics of types, models of inheritance and subtyping, higher-order type systems with modules, and practical aspects of type system design.
Text: Mitchell, John C. Foundations for Programming Languages. MIT Press, 1996.
Lectures: Wednesdays, 7:00 - 9:00 p.m., Warren Weaver Hall , Room 101
Subscribe to the class mailing list
Auxiliary readings and links
[Last change: 01/20/2000]