Key

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.

Schedule

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

 

schedule.txt · Last modified: 2022/04/23 14:58 by darshal