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).