- Visit the cs-510-001 list homepage to subscribe.

- Untyped Lambda Calculus (Apr 6 and 8)
- Examples of object encoding (May 25)
- Type Inference (May (27)

- Homework 1 (due 4/8/04) OCAML bigstep eval function sample solution
- Homework 2 (due 4/15/04) problem 1 sample solution OCAML bigstep eval function sample solution
- Homework 3 (due 4/22/04) problem 9.2.2. sample solution
- Homework 4 (due 4/29/04) problem 11.4.1(1). sample solution
- Homework 5 (due 5/13/04)
`exnexercise.tar.gz`problem 5 sample solution - Homework 6 (due 5/27/04) problems 15.5.2 and 16.2.3 sample solutions
- Homework 7 (due 6/3/04) problems 22.2.3, 23.4.1, and 23.5.1 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 tutorials.