title | layout | classes |
---|---|---|
Schedule |
splash |
wide |
# | Month | Date | Day | Topic | Homework Assigned | Optional Texts | Optional Notes |
---|---|---|---|---|---|---|---|
1 | May | 9 | Mon | Racket & Recursion | Homework 1 | [Chs 1 & 2, SAOP]({{ site.baseurl}}/assets/docs/SAOP%20Ch1-Ch2.pdf) [Ch 4, SAOP]({{ site.baseurl}}/assets/docs/SAOP%20Ch4.pdf) | |
2 | May | 10 | Tue | letrec, quasiquote & match | [Ch 5.1-5.2, SAOP]({{ site.baseurl}}/assets/docs/SAOP%20Ch5.1-5.2.pdf) | ||
3 | May | 11 | Wed | free and bound variables, lexical address | Homework 2 | Wand's notes (Sections 4.1-4.2) | |
4 | May | 12 | Thu | Intro. to Interpreters | Chs 2 & 3, EOPL | ||
5 | May | 16 | Mon | Rep. Independence wrt Environments, Closures | Homework 3 | [in-class RI Notes]({{ site.baseurl }}/assets/docs/Representation-Independence.pdf) [RI Interpreter]({{ site.baseurl }}/assets/docs/ri_interpreter.pdf) | |
6 | May | 17 | Tue | ≡α/β/η, reductions, universality of λ-calc | [TAPL 5.2]({{ site.baseurl }}/assets/docs/TAPL-5.2.pdf) | ||
7 | May | 18 | Wed | Dynamic and Lexical Scope | Homework 4 | Wand's notes (Revisit section 4.1) | |
8 | May | 19 | Thu | Higher-Order Abstraction & Primitive Recursion | [Ch 7, SAOP]({{ site.baseurl}}/assets/docs/SAOP%20Ch7.pdf) | [ack.rkt]({{ site.baseurl}}/assets/code/ack.rkt) , [ack-etc.rkt]({{ site.baseurl}}/assets/code/ack-etc.rkt) | |
9 | May | 23 | Mon | Parameter-Passing Style | Homework 5 | Ch 4.5, EOPL | [call-by notes]({{ site.baseurl }}/assets/docs/call-by.pdf) [in-class REPL]({{ site.baseurl }}/assets/docs/call-by-REPL.pdf) [in-class notes]({{ site.baseurl }}/assets/docs/Parameter-passing_conventions.pdf) |
10 | May | 24 | Tue | Intro to continations and CPS | Homework 6 | [Chs 16 & 17, SAOP]({{ site.baseurl}}/assets/docs/SAOP%20Ch16-Ch17.pdf), Ch 6.1-6.3 EOPL, 4.2 | [cps notes]({{ site.baseurl }}/assets/docs/cps-notes.rkt) , [cps lecture]({{ site.baseurl }}/assets/docs/cpslecture.rkt) |
11 | May | 25 | Wed | Exam Review | |||
12 | May | 26 | Thu | Exam 1 | |||
NC | May | 30 | Mon | NC | |||
13 | May | 31 | Tue | Re-intro to continations and CPS | [Chs 16 & 17, SAOP]({{ site.baseurl}}/assets/docs/SAOP%20Ch16-Ch17.pdf), Ch 6.1-6.3 EOPL, 4.2 | [cps notes]({{ site.baseurl }}/assets/docs/cps-notes.rkt) , [cps lecture]({{ site.baseurl }}/assets/docs/cpslecture.rkt) | |
14 | June | 1 | Wed | CPS/CPS interpreters | Homework 7, Pt 1 | Ch 5.1, EOPL | |
15 | June | 2 | Thu | Rep. independence wrt continuations | Homework 7 | [ri-k]({{ site.baseurl }}/assets/docs/ri-k.txt), [how to ri k]({{ site.baseurl }}/assets/docs/ri-k-method.rkt) | |
16 | June | 6 | Mon | Registerization & Trampolining | Homework 8 | Ch 5.2, EOPL, Ch 5.3, EOPL | [registerization notes]({{ site.baseurl }}/assets/docs/new-registerization-notes.txt) [reg and tramp]({{ site.baseurl }}/assets/docs/reg-tramp.pdf) |
17 | June | 7 | Tue | Macros | [Ch 14, SAOP]({{ site.baseurl}}/assets/docs/SAOP%20Ch14.pdf) | Syntax-rules for the Merely Eccentric [class-macros]({{ site.baseurl }}/assets/code/class-macros.rkt) | |
18 | June | 8 | Wed | ParentheC | Homework 9 | [ParentheC]({{ site.baseurl}}/assets/docs/parenthec.pdf) [pc2c.rkt]({{ site.baseurl}}/assets/code/pc2c.rkt) [parenthec.rkt]({{ site.baseurl}}/assets/code/parenthec.rkt) [xform code]({{ site.baseurl}}/assets/code/fib-xform.tar.gz) | |
19 | June | 9 | Thu | Exam Review | |||
20 | June | 13 | Mon | Exam 2 | Bonus | ||
21 | June | 14 | Tue | OOP | Homework 10 | [Ch 12, SAOP]({{ site.baseurl}}/assets/docs/SAOP%20Ch12.pdf) | |
22 | June | 15 | Wed | Types | [Type rules explained]({{ site.baseurl}}/assets/docs/TAPL-5.2.pdf) Pfenning's notes on CH | ||
22 | June | 16 | Thu | Type Inference | Homework 11 | ||
NC | June | 20 | Mon | NC | |||
23 | June | 21 | Tue | Monads | |||
24 | June | 22 | Wed | More Monads | |||
25 | June | 23 | Thu | Closing Lecture |
| EOPL | "Essentials of Programming Languages" | | SAOP | "Scheme and the Art of Programming" |