CS510 Semantics and Types Spring 2004
Course Information
Course Mailing List
Lecture Notes
On-line notes for selected lectures:
Homework Assignments
Textbook Resources
- 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.
OCAML Resources