Schedule
The following is a (very tentative) weekly schedule of lectures, assignments, and quizzes.
Wk. |
| Class Date |
| Tuesday class
|
| Wednesday
|
| Due Thursday
|
1 |
| 9/1 |
| Interpreting programs with Plait |
| concept check |
| |
2 |
| 9/7 |
| Interpreters, Scope, and Substitution |
| concept check |
| |
3 |
| 9/15 |
| The Lambda Calculus & Compilation |
| concept check |
| 9/14: hw1 |
4 |
| 9/22 |
| Compilation and formal reasoning |
| concept check |
| 9/24: hw2 |
5 |
| 9/29 |
| Types and Type formalism |
| concept check |
| |
6 |
| 10/6 |
| Type soundness and Parametric Polymorphism |
| concept check |
| 10/8: hw3 |
7 |
| 10/13 |
| Compiling to System-F and subtyping |
| concept check |
| 10/15: hw4 |
8 |
| 10/20 |
| Midterm |
|
| 10/24: survey | |
9 |
| 10/27 |
| Control and implementing exceptions |
| concept check |
| |
10 |
| 11/3 |
| Control formalism |
| concept check |
| 11/5: hw5 |
11 |
| 11/10 |
| Abstract Machines |
| concept check |
| |
12 |
| 11/17 |
| Memory Safety & Management |
| concept check |
| 11/19: hw6 |
13 |
| 11/24 |
| No class, Thanksgiving |
|
| ||
14 |
| 12/1 |
| Managing Effects |
| concept check |
| 12/3: hw7 |
15 |
| 12/8 |
| Flex day / special topic / review |
| concept check |
| 12/11: hw8 (extra) |
16 |
| 12/15 |
| Final exam |
|
|