(Draft Schedule)
| Week of | Topic |
| 1/12 | Recursion and Higher-Order Functional Abstractions |
| 1/19 | Free, Bound, and Lexical Address; Environments and Representation Independence of Environments / Intro to Interpreters |
| 1/26 | Representation Independence of Functions / Dynamic vs. Lexical Scope |
| 2/2 | Review Session / Exam |
| 2/9 | Continuation-Passing Style / More CPS |
| 2/16 | Representation Independence of Continuations / Continuation-Passing Interpreters |
| 2/23 | Registerizing and Trampolining / More Registerizing and Trampolining |
| 3/2 | ParentheC / More ParentheC |
| 3/9 | Review Session / Exam |
| 3/16 | Spring break |
| 3/23 | Introduction to Logic Programming with miniKanren |
| 3/30 | Unification and Reification / Relational CPSing |
| 4/6 | Substitution / More Relational CPSing |
| 4/13 | Types and Type Inferencing / More Type Inferencing |
| 4/20 | Macros / More Macros |
| 4/27 | Course Wrap-up / Review Session |
| 5/4 | Final exam: 7:15-9:15 PM, Thurs., May 7 |