Foundations of Modern Type Systems, Fall 1997

• Text: Mitchell, John C.Foundations for Programming Languages. MIT Press, 1996.
  
  
• Lectures: Mondays, 5:00 - 7:00 p.m., 613 Warren Weaver Hall
  
  
• Mailing List: types_fall97@cs.nyu.edu
  • How to subscribe
  
  
  
• Course Syllabus
  • postscript version