EECS 3/496: Type Systems
Instructors:
Robby Findler
and
Jesse Tov
TuTh 11 AM–12:20 PM, Tech L160
Syllabus
HTML notes
(multiple pages)
PDF notes
(all-in-one)