CS 536 (F03) Homework 9: Types

Due: December 15 in class (hardcopy) AND via turnin (assignment name hwk9).


Assignment Goals

To implement either a type-checker for a language with type annotations or a type inference system for a language without type annotations.
Back to the Assignments page