Assignment 3 (Recursive Types and References)
Due Date: March 6, 2001 in class
State and prove type safety for the extension of MinML with recursive types and references. Please typeset your solution!
sabry@cs.indiana.edu