- Visit the cs510types list homepage to subscribe.

- Homework 1 (due 10/6/05) Problems 5&6 sample solutions
- Homework 2 (due 10/13/05) Problem 1 sample solution Problem 9 sample solution
- Homework 3 (due 10/20/05) Problem 4 sample solution
- Homework 4 (due 10/27/05) Problem 1 sample solution
- Homework 5 (due TUESDAY 11/8/05)
- Homework 6 (due 11/17/05) Problems 3,4,6 sample solutions
- Homework 7 (due 12/1/05) Problems 1,5,9 sample solutions

- OCAML code for the various typechecker implementations.
(I found it necessary to change "
`include .depend`" to "`-include .depend`" in the Makefiles to get things started.) - The author maintains a list of errata for Types and Programming Languages. Check here first if you can't make sense of something in the text.

- The OCAML web page.
- You'll definitely want access to the system documentation.
- You can download the latest version for your own machine.
- You may find this tutorial useful; here are pointers to some other on-line documentation.

- Pierce's style file for typesetting the definitions of inference rules.
- A proof style file which I often use for typesetting derivations.