Handouts

I will provide copies of the lecture slides below in PDF format with various numbers of slides per page, and encourage you to print out one version and bring it to class. The point of doing this is to permit you to take notes on what I'm saying, writing on the board, or composing electronically during the lecture. The handouts are not an adequate substitute for attending lectures; if you miss class, you should contact someone who takes notes in order to catch up.

2: The lambda calculus 1-up 2-up 4-up

3: ML 1-up 2-up 4-up

4: Types 1-up 2-up 4-up

5: Type inference 1-up 2-up 4-up

6: Haskell 1-up 2-up 4-up

7: Macros 1-up 2-up 4-up