Homework 4


Implement the Type Checking program on p. 127 (both parts (a) and (b)). Due November 11 before class. Start EARLY!!

Help material

You will need to refer to the following:

Helpful Hints


Due date is November 11 before class. Turn in at least the following two files: Semant/Semant.java and Semant/Env.java. Test your type checker on the 49 testcases that Appel provides with the book's software.

For extra credit, do Exercise 5.3 on p.129.

Page visited times since September 14, 1998.