(Draft Schedule)

Week of Topic Lab Instructor/Grader
1/7 Recursion and Higher-order Functional Abstractions Joe
1/14 Quiz on Monday / Free, Bound, Lexical Address Joe
1/21 No class / Environments, Representation Independence of Environments, and Intro to Interpreters Will
1/28 Interpreters and Representation Independence of Functions / Dynamic vs. Lexical Scope Will
2/4 Parameter-Passing Variations / Exam Joe
2/11 Continuation-Passing Style / More CPS Joe
2/18 Registerizing and Trampolining / More Registerizing and Trampolining Will
2/25 Implementing all this in C using ParentheC / More ParentheC Joe
3/3 Review session / Exam Will
3/10 Spring Break / Spring Break No lab
3/17 Logic Programming / More Logic Programming Will
3/24 Types and Type Inferencing / More Type Inferencing Joe
3/31 Unification, Reification, and Streams / More Unification, Reification, and Streams Will
4/7 Disequality Constraints / TRS Appendix Joe
4/14 CPSer / Exam Will
4/21 TBA (Objects or Modules) / TBA (Objects or Modules) Joe
4/28 Final: 2:45--4:45 p.m., Friday, May 2 No lab, no assignment