Schedule

Note: This schedule is subject to change.

Week Topic
1 / 13 Racket & Recursion ; Higher-Order Abstraction, Primitive Recursion
1 / 20 Quasiquote & match ; Free and Bound Variables, Lexical Address, letrec
1 / 27 Intro. to Interpreters ; Representation Independence wrt Environments, Closures
2 / 3 Dynamic and Lexical Scope ; Parameter-Passing Style
2 / 10 Exam Review; Exam 1
2 / 17 Intro to CPS, CPS/CPS interpreters
2 / 24 Representation Independence ; Registerization;
3 / 3 Trampolining ; ParentheC
3 / 10 Exam Review ; Exam 2
3 / 17 Spring Break
3 / 24 SPS ; Macros
3 / 31 miniKanren intro & implementation
4 / 7 Types & Type Inferencing
4 / 14 Monads
4 / 21 more miniKanren
4 / 28 bonus ; Final Exam Review

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

 

schedule.txt · Last modified: 2015/05/07 09:14 by jhemann