BRICS · Contents · Programme

Denotational Semantics of Types

A BRICS Mini-Course
October 14, 22 and 27, November 3, 1999

Lectures by
John C. Reynolds,
Computer Science Department, Carnegie Mellon University

Course Contents

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


Thursday October 14, 1999, 15:00-17:00 in Auditorium D1

Friday October 22, 1999, 14:00-16:00 in Auditorium D4

Wednesday October 27, 1999, 15:00-17:00 in Auditorium D4

Wednesday November 3, 1999, 15:00-17:00 in Auditorium D4