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
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

 

schedule.txt · Last modified: 2022/08/30 14:08 by darshal