CS510 Semantics and Types Spring 2004

Instructor: Andrew Tolmach

Course Information

• Syllabus

Course Mailing List

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

Lecture Notes

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

Homework Assignments

• 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

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

• 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.