| 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 |
|---|---|---|---|
| 01/10 | Racket & Recursion | Chs 1, 2, & 4, SAOP | |
| 01/12 | Higher-Order Functions & Primitive Recursion letrec | Ch 7, SAOP | program transformations enrichment material |
| 01/17 | No Class <Martin Luther King Jr. Day> | ||
| 01/19 | quasiquote & match Free and bound variables, | Ch 5.1-5.2, SAOP | letrec quasiquote match |
| 01/24 | lexical address and Intro. to Interpreters | Chs 2 & 3, EOPL | |
| 01/26 | Intro to Interpreters | Chs 2 & 3, EOPL | |
| 01/31 | Representation Independence w.r.t. Environments, Closures | ||
| 02/02 | Representation Independence w.r.t. Closures, lexical scoping, half closures | ||
| 02/07 | Students Q & A | ||
| 02/09 | Precursor to mid-term exam | ||
| 02/14 | Parameter-Passing Style | Ch 4.5, EOPL | An in-depth look at parameter-passing variations |
| 02/16 | Intro to continations and CPS | Chs 16 & 17, SAOP; Ch 6.1-6.3 EOPL | CPS Refresher Notes Notes |
| 02/21 | CPS/CPS interpreters | Ch 5.1, EOPL | |
| 02/23 | Representation independence w.r.t. continuations | ri notes newer older | |
| 02/28 | Registerization | Ch 5.3, EOPL | Newer notes |
| 03/02 | Trampolining | Ch 5.2, EOPL | Older notes on reg & trampolining |
| 03/07 | Pre-mid-term Q&A | ||
| 03/09 | Mid-term exam | ||
| 03/14 | No Class <Spring break> | ||
| 03/16 | No Class <Spring break> | ||
| 03/21 | Introduction to miniKanren | xform to mK | |
| 03/23 | ParentheC | the ParentheC paper | |
| 03/28 | miniKaren constraints | ||
| 03/30 | miniKanren implementation | draft paper | |
| 04/04 | Hinley-Milner Types | Ch 7.1-7.2, EOPL | |
| 04/06 | Hinley-Milner style Type Inferencing | Ch 7.3-7.4, EOPL | type inference notes |
| 04/11 | Store Passing Style & Monads | Cameron's Dan and Adam's Dan's Wadler's | |
| 04/13 | More Monads | ||
| 04/18 | Staging | ||
| 04/20 | More Staging | ||
| 04/25 | CEK, Redux | ||
| 04/27 | pre-final exam Q&A | ||
| 05/02 | Final exam |