CS 541 Lecture -*- Outline -*- for type checking lecture 1 * introduction used in '91-92 * sml-type-inference used in '94-95