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