Handouts
| Number | Date | Topic | Handout |
|---|---|---|---|
| 0 | Course packet | 00-packet.pdf | |
| 1 | Syllabus | 01-syllabus.pdf | |
| 2 | Honor Code | 02-honor-code.pdf | |
| 3 | Lab 0 | lab-0.pdf | |
| 4 | Lab 1 | lab-1.pdf | |
| 5 | WCMA Activity | 05-wcma-activity.pdf | |
| 6 | Function Activity | 06-fn-activity.pdf | |
| 7 | Lab 2 | lab-2.pdf | |
| 8 | Pattern-matching Activity | 08-pattern-activity.pdf | |
| 9 | Lab 3 | lab-3.pdf | |
| 10 | Reduction Activity | 10-reduction-activity.pdf | |
| 11 | Lab 4 | lab-4.pdf | |
| 12 | Reduction Activity Solution, Normal Order, with AST | 12_normal_order_derivation.pdf | |
| 13 | Resubmission Instructions | 13-resubmissions.pdf | |
| 14 | Function Graphs Activity | 14-function-graphs-activity.pdf | |
| 15 | Function Graphs Activity Solution | 15-function-graphs-activity-solution.pdf | |
| 16 | Lab 5 | lab-5.pdf | |
| 17 | Reduction Proofs Activity | 17-reduction-activity.pdf | |
| 18 | Reduction Proofs Solution | 18-reduction-activity-solution.pdf | |
| 19 | Practice Lambda Calculus Problems for Midterm Review (with solutions) | 19-lambda-practice.pdf | |
| 20 | Lab 6 | lab-6.pdf | |
| 21 | Lab 7 | lab-7.pdf | |
| 22 | WCMA Activity 2 | 22-wcma_activity_2.pdf | |
| 23 | Parser debugging | 23-parser-activity.pdf | |
| 24 | Lab 8 | lab-8.pdf | |
| 25 | Lab 9 | lab-9.pdf | |
| 26 | Lab 10 | lab-10.pdf |