Topics in Programming Languages: Type Theory
Abstract: We will study the theory of types for programming languages. A type system enforces basic syntactic constraints on programs and thus restricts the class of programs. The purpose of the constraints is to establish some minimal but important guarantees about all programs that programmers may write. Starting from a minimal type system, we will study increasingly more expressive systems, discussing what kind of programs they admit, prohibit, and how this matters for programmers and software engineers.
Prerequisite: At a minimum, you must have taken a course loosely based on Essentials of Programming Languages Second Edition (Friedman, Wand, Haynes).
Daniel Jackson's course on Advanced Topic in Software Design has a related goal. Attend when possible and make use of the connections.
|last updated on Thu Feb 28 17:51:52 EST 2002||generated with PLT Scheme|