Foundations of Modern Type Systems

G22.3033.10 Spring 2000


Michel Mauny

Course Description

One 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

Course Syllabus

Subscribe to the class mailing list

Auxiliary readings and links

[Last change: 01/20/2000]