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 the date, time, and location 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/24 Racket & Recursion Chs 1, 2, & 4, SAOP
08/26 Higher-Order Functions & Primitive Recursion Ch 7, SAOP program transformations enrichment material
08/31 letrec, quasiquote & match Ch 5.1-5.2, SAOP letrec quasiquote match
09/02 Free and bound variables, lexical address Free, Bound, Lex notes
09/07 Intro. to Interpreters Chs 2 & 3, EOPL
09/09 Representation Independence w.r.t. Environments, Closures
09/14 Representation Independence w.r.t. Closures, lexical scoping, half closures
09/16 Parameter-Passing Style Ch 4.5, EOPL An in-depth look at parameter-passing variations
09/21 intro to continations and CPS Chs 16 & 17, SAOP; Ch 6.1-6.3 EOPL CPS Refresher Notes Notes
09/23 CPS/CPS interpreters Ch 5.1, EOPL
09/28 Representation independence w.r.t. continuations ri notes newer older
09/30 Registerization Ch 5.3, EOPL Newer notes
10/05 Trampolining Ch 5.2, EOPL Older notes on reg & trampolining
10/07 ParentheC the ParentheC paper
10/12 Pre-mid-term Q&A
10/14 Mid-term exam
10/19 Introduction to miniKanren xform to mK
10/21 miniKaren constraints
10/26 miniKanren implementation draft paper
10/28 A9 review ParentheC Paper
11/02 Types Ch 7.1-7.2, EOPL
11/04 HM style Type Inferencing Ch 7.3-7.4, EOPL type inference notes
11/09 Store Passing Style
11/11 Monads Cameron's Dan and Adam's Dan's Wadler's
11/16 More Monads
11/18 Staging
11/23 Dependent types : Introduction DTP
11/25 Dependent types : Normalization by Evaluation DTP
11/30 More Dependent types DTP
12/02 Even More Dependent types DTP
12/07 All The More Dependent types DTP
12/09 TBA
12/14 pre-final exam Q&A
12/16 Final exam
 

schedule.txt · Last modified: 2021/10/04 11:35 by darshal