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: Course reference materials: