CIS 700: Type Systems

Benjamin Pierce
bcpierce@cis.upenn.edu

I've removed the draft of the lecture notes that used to live here, because they are now available as a book, Types and Programming Languages, from MIT Press (2002).