| Date | Day | Topic | Optional Texts | Optional Notes |
|---|---|---|---|---|
| 1 / 20 | Wed | Racket & Recursion | Chs 1 & 2, SAOP Ch 4, SAOP | |
| 1 / 25 | Mon | Higher-Order Abstraction & Primitive Recursion | Ch 7, SAOP | ack.rkt , ack-etc.rkt |
| 1 / 27 | Wed | letrec, quasiquote & match | Ch 5.1-5.2, SAOP | |
| 2 / 1 | Mon | free and bound variables, lexical address | Wand’s notes (Sections 4.1-4.2) | |
| 2 / 3 | Wed | Intro. to Interpreters | Chs 2 & 3, EOPL | |
| 2 / 8 | Mon | ≡α/β/η, reductions, universality of λ-calc | TAPL 5.2 | |
| 2 / 10 | Wed | Rep. Independence wrt Environments, Closures | in-class RI Notes RI Interpreter | |
| 2 / 15 | Mon | NC President’s Day | ||
| 2 / 17 | Wed | Dynamic and Lexical Scope | Wand’s notes (Revisit section 4.1) | |
| 2 / 22 | Mon | Parameter-Passing Style | Ch 4.5, EOPL | call-by notes in-class REPL in-class notes |
| 2 / 24 | Wed | Exam Review | ||
| 3 / 1 | Mon | Exam 1 | ||
| 3 / 3 | Wed | intro to continations and CPS | Chs 16 & 17, SAOP, Ch 6.1-6.3 EOPL, 4.2 | cps notes , cps lecture |
| 3 / 8 | Mon | CPS/CPS interpreters | Ch 5.1, EOPL | |
| 3 / 10 | Wed | rep. independence wrt continuations | ri-k, how to ri k | |
| 3 / 15 | Mon | registerization | Ch 5.3, EOPL | registerization notes |
| 3 / 17 | Wed | Trampolining | Ch 5.2, EOPL | reg and tramp |
| 3 / 22 | Mon | ParentheC | ParentheC pc2c.rkt parenthec.rkt xform code | |
| 3 / 24 | Wed | NC Provost’s Day | ||
| 3 / 29 | Mon | Exam Review | ||
| 3 / 31 | Wed | Exam 2 | ||
| 4 / 5 | Mon | Macros | Ch 14, SAOP | Syntax-rules for the Merely Eccentric class-macros |
| 4 / 7 | Wed | CL, shunting-yard alg, CL bases, iota & jot | Systematic construction of a one-point basis Iota and Jot | |
| 4 / 12 | Mon | NC Provost’s Day | ||
| 4 / 14 | Wed | Staging, Futamura projections | The three projections of Doctor Futamura | |
| 4 / 19 | Mon | Bonus Lecture | ||
| 4 / 21 | Wed | Final Exam Review / Closing Lecture |
| SAOP | “Scheme and the Art of Programming” |
Our final exam will be held on the date, time, and location given by the registrar.
