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.

Option 1: Type Checking Assignment
Option 2: Type Inference Assignment

Back to the Assignments page