CS 641 Lecture -*- Outline -*- for type-reconstruction lecture 1 * type-checking-review lecture 1,2 * core-type-system lecture 2,3 * reconstruction-algorithm-overview