CS303 Types in Programming Languages: Spring 2006
Prof. Christian Skalka,
Office hours: T 3:45PM-4:45PM and W 2:00PM-4:00PM, Votey 379
Lecture: TR 2:00PM-3:15PM, Votey 322
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.
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,
Course reference materials: