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
8 / 25 Racket & Recursion Chs 1, 2, & 4, SAOP
8 / 27 Higher-Order Abstraction & Primitive Recursion Ch 7, SAOP program transformations
9 / 1 letrec, quasiquote & match Ch 5.1-5.2, SAOP
9 / 3 free and bound variables, lexical address
9 / 8 Intro. to Interpreters Chs 2 & 3, EOPL
9 / 10 Representation Independence wrt Environments, Closures Notes on representation independence
9 / 15 Dynamic and Lexical Scope
9 / 17 Parameter-Passing Style Ch 4.5, EOPL An in-depth look at parameter-passing variations
9 / 22 Exam Review
9 / 24 Exam 1
9 / 29 intro to continations and CPS Chs 16 & 17, SAOP; Ch 6.1-6.3 EOPL CPS Refresher Notes Notes
10 / 1 CPS/CPS interpreters Ch 5.1, EOPL
10 / 6 representation independence of continuations representation independence Notes
10 / 8 registerization Ch 5.3, EOPL Notes
10 / 13 Trampolining Ch 5.2, EOPL Notes
10 / 15 ParentheC the ParentheC paper
10 / 20 Exam Review
10 / 22 Exam 2
10 / 27 SPS Ch 4.3, EOPL
10 / 29 Macros Syntax rules for the merely eccentric
11 / 3 introduction to miniKanren xform to mK notes on lp and unification
11 / 5 miniKanren implementation
11 / 10 Types Ch 7.1-7.2, EOPL
11 / 12 Type Inferencing Ch 7.3-7.4, EOPL type inference notes
11 / 17 Monads Cameron's Dan and Adam's Dan's Wadler's
11 / 19 Monads
11 / 24 Thanksgiving Break
11 / 26 Thanksgiving Break
12 / 1 more miniKanren
12 / 3 more miniKanren
12 / 8 bonus
12 / 10 Final Exam Review

Key

Abbreviation Title
EOPL “Essentials of Programming Languages”, 3rd edition
SAOP “Scheme and the Art of Programming”

Our final exam will be held on the date, time, and location given by the registrar.

 

schedule.txt · Last modified: 2015/08/25 21:38 by jhemann