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