CS 303 Types in Programming Languages: Spring 2004

I just wanted to put a plug in for the types course next semester.  (IMO the
prerequisites are over stated.  The programming languages course, 103, or
equivalent is probably the bare minimum.  I think the majority of the readers
of this list have actually taken that class.)  I'm pretty sure audits are welcome.

   http://www.cs.uvm.edu/~skalka/303/

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.

-d