Type Systems I COMP 412 Rice University Houston, Texas Fall 2000
Type Systems
Type Systems : Sample Typing Proof
Email: cork@rice.edu
Home Page: www.cs.rice.edu/~cork
Other information: Powerpoint slides on type inference