Watch this space for schedule updates when B521 is next offered. To give you an idea of topics likely to be covered, the fall 2009 schedule is below.
| Week of | Topic |
|---|---|
| 8/31 | Recursion and higher-order functional abstractions |
| 9/7 | Free, bound, and lexical address |
| 9/14 | Environments and representation-independence of environments; introduction to interpreters |
| 9/21 | Review session; midterm exam 1. Representation-independence of functions; dynamic and lexical scope |
| 9/28 | More on dynamic scope; parameter-passing variations |
| 10/5 | Continuation-passing style |
| 10/12 | Representation-independence of continuations; continuation-passing interpreters |
| 10/19 | Review session; midterm exam 2 — This one counts for a grade! |
| 10/26 | Registerization and trampolining |
| 11/2 | ParentheC |
| 11/9 | Monads |
| 11/16 | Logic programming with miniKanren |
| 11/23 | Types and type inferencing; Thanksgiving break |
| 11/30 | Implementation of miniKanren |
| 12/7 | Review session; combined midterm exam 3/final exam |
| 12/14 | No exam |