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 |