- Benjamim Pierce, preprints of chapters from a new book "Types and Programming Languages" (distributed in class). Skim Chapter 3 for information on notation (read Section 3.5). Read Chapter 5 for October 26.
- Read Chapters 8 and 9 of the Pierce book by November 5.
- Read Luca Cardelli's Basic Polymorphic Typechecking by November 26.
- Read Chapter 19 of Pierce's book (distributed in class) by December 3.

- Untyped Lambda Calculus
- Simply-Typed Lambda Calculus
- Type Soundness
- Parametric Polymorphism
- Subtyping