In this lecture, we'll talk about the basic ideas of type abstraction (4.3) and type inference (4.4). Read these sections to get the main ideas, but don't worry about the code for implementing them.
No online notes are available, but copies of the in-class slides are available (PDF).
The complete interpreter for Lecture 28 (and 29).
Last updated at 11:02 am on Tuesday, November 30, 2004.