| Date | Topic | Lecture Notes |
| 9/22 | Course overview | Syllabus.pdf |
| Attribute grammars | Attribute.pdf | |
| Lisp | Lisp.pdf Manual.pdf | |
| Type Systems | Types.pdf | |
| 11/1 | Midterm exam | distribution of scores [median: 62] |
| Axiomatic Semantics | Axiomatic.pdf | |
| Operational Semantics | Operational.pdf | |
| 11/24 | No class (Thanksgiving) | — |
| 12/1 | Last class | — |
| 12/5 | Final exam, 9:30 - 11:18 | — |