A BRICS Mini-Course
October 14, 22 and 27, November 3, 1999
Lectures by
John C. Reynolds, John.Reynolds@cs.cmu.edu
Computer Science Department, Carnegie Mellon University
This will be a survey of the denotational definitions of the meaning of type systems. Since the central problem with these definitions is that there are too many of them, we will look for connections and unifications among them. Ultimately, we want to know ``What do types (and domains) mean?''
The following is a tentative outline:
An Overview
A Review of Domain Theory
Logical Relations and Partial Equivalence Relations
Information Systems
Polymorphism and Parametricity