CS303 Types in Programming Languages: Spring 2006

Instructor: Prof. Christian Skalka, skalka@cs.uvm.edu
Office hours: T 3:45PM-4:45PM and W 2:00PM-4:00PM, Votey 379
Lecture: TR 2:00PM-3:15PM, Votey 322

Course description: Exploration of theory and practice of types in application to programming languages. Principal topics include type safety, type reconstruction, polymorphism, subtyping, constraint types, and practicality of various approaches.

Approach: The course will be taught in a seminar style, without tests or homeworks per se. Coursework will consist of class presentations of assigned material, and participation in discussions.

Prerequisites: The following courses are useful, though not required, prerequisites:

MATH 54 Fundamentals of Mathematics of Computation
CS 103 Programming Languages
CS 202 Compiler Construction
CS 243 Theory of Computation

Course reference materials:

Course textbook: Types and Programming Languages, Benjamin Pierce.
Supplemental Readings