| Week #1 | Elements of ML Programming: Ch. 1-3, 4.1, 5-6, 7.1, 7.3 |
| Week #2 | Elements of ML Programming: Ch. 8.1-8.3, 8.5.1-8.5.2, 8.5.5 |
| Week #3 |
Basic Polymorphic Typechecking (Cardelli) Browse the R5RS Scheme reference manual (pdf, postscript, gzipped postscript; html) |
| Week #4 |
Browse A Gentle Introduction to
Haskell (Hudak, Peterson, and Fasel) Types and Programming Languages: Ch. 2 (if needed), Ch. 3 (skim over lemmas and proofs; just get a sense), Ch. 5 |
| Week #5 | Types and Programming Languages: Ch. 8, 9 |
| Week #6 | Types and Programming Languages: skim Ch. 11, 13 |
| Week #7 | Types and Programming Languages: Ch. 20.1, 23 (skip 23.7 and 23.10), 24.1-24.2; skim 29.1, 30.1-30.2 |
| Week #8 | Self: The Power of Simplicity (Ungar & Smith) |
| Week #9 | Types and Programming Languages: Ch. 15-16 |
| Week #10 | Modular Typechecking for Hierarchically Extensible Datatypes and Functions (Millstein et al.) |