CMSC 33600
Type Systems for Programming LanguagesPrerequisites: CMSC 22100 recommended.
Catalog Description: This course covers the basic ideas of type systems, which are an important element of most modern programming languages. We will explore their formal properties, their role in programming language design, and their implementation. Exercises involving theory, design and implementation explore the various options and issues. The textbook is "Types and Programming Languages" by Benjamin Pierce.
For Winter 2010, we will spend a substantial portion of the course on the design, semantics, and implementation of modern module systems. The main focus will be on variants of the Standard ML module system, but other designs will be covered.
Instructors: D. MacQueenQuarter offered: Winter.
Last Verified by Sharon Salveter on 11 November, 2009.