| Abbreviation | Title |
|---|---|
| EOPL | “Essentials of Programming Languages”, 3rd edition |
| SAOP | “Scheme and the Art of Programming” |
| DTP | “The little typer” |
Our final exam will be held on Monday 2nd of May 10:20 AM -12:20 PM at Luddy Hall (Informatics) (IF) 1104 as given by the registrar.
Note: This schedule is subject to change. The optional texts and notes are, as the name suggests, merely supplementary.
| Week | Topic | Optional Texts | Optional Notes |
|---|---|---|---|
| 08/23 | Racket & Recursion | Chs 1, 2, & 4, SAOP | |
| 08/25 | Higher-Order Functions & Primitive Recursion letrec | Ch 7, SAOP | program transformations enrichment material |
| 08/30 | quasiquote & match Free and bound variables, | Ch 5.1-5.2, SAOP | letrec quasiquote match |
| 09/01 | lexical address and Intro. to Interpreters | Chs 2 & 3, EOPL | |
| 09/06 | Intro to Interpreters | Chs 2 & 3, EOPL | |
| 09/08 | Representation Independence w.r.t. Environments, Closures | ||
| 09/13 | Representation Independence w.r.t. Closures, lexical scoping, half closures | ||
| 09/15 | Parameter-Passing Style | Ch 4.5, EOPL | An in-depth look at parameter-passing variations |
| 09/20 | Intro to continations and CPS | Chs 16 & 17, SAOP; Ch 6.1-6.3 EOPL | CPS Refresher Notes Notes |
| 09/22 | First exam | ||
| 09/27 | CPS/CPS interpreters | Ch 5.1, EOPL | |
| 09/29 | Representation independence w.r.t. continuations | ri notes newer older | |
| 10/04 | Registerization | Ch 5.3, EOPL | Newer notes |
| 10/06 | Trampolining | Ch 5.2, EOPL | Older notes on reg & trampolining |
| 10/11 | Pre-mid-term Q&A | ||
| 10/13 | Mid-term exam | ||
| 10/18 | Introduction to miniKanren | xform to mK | |
| 10/20 | ParentheC | the ParentheC paper | |
| 10/25 | miniKaren constraints | ||
| 10/27 | miniKanren implementation | draft paper | |
| 11/01 | Hinley-Milner Types | Ch 7.1-7.2, EOPL | |
| 11/03 | Hinley-Milner style Type Inferencing | Ch 7.3-7.4, EOPL | type inference notes |
| 11/08 | Store Passing Style & Monads | Cameron's Dan and Adam's Dan's Wadler's | |
| 11/10 | More Monads | ||
| 11/15 | Staging | ||
| 11/17 | More Staging | ||
| 11/22 | No Class <Thanksgiving break> | ||
| 11/24 | No Class <Thanksgiving break> | ||
| 11/29 | |||
| 12/01 | |||
| 12/06 | |||
| 12/08 | pre-final exam Q&A | ||
| 05/02 | Final exam |