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