Date | Topic | Videos | PLAI | Slides | Programs & Notes | In Class | Homework | Solution |
M | | Racket and plai-typed | | §1 | slides | | quick ref | HW 0 | available |
W | | How to Design Programs | HtDP videos | | slides | HtDP | steps, turns | HW 1 | available |
M | | MLK day | | | | | | | |
W | | Arithmetic and functions | Interp videos | §2-5 | slides | arith, ariths, function | divide, divide+parse | HW 2 | available |
M | | Local binding and environments | Binding videos | §6 | slides | let, env | if0, letq | | |
W | | Functions as values; records | Function videos Record videos | §7 | slides slides | lambda record | example traces | HW 3 | available |
M | | Mutable state | Store videos | §8.1 | slides | box, store, store-with | swap | | |
W | | Variables | Variable videos | §8.2 | slides | variable | plusplus, box-via-var | HW 4 | available |
M | | Encodings | Encoding videos | | slides | | var-no-let | | |
W | | Midterm 1 | | | | practice midterm | | | |
M | | Recursion | Letrec videos | §9 | slides | letrec-mc, letrec | letrec-check, letrec-check2, letrec-pair | | |
W | | Lazy evaluation | Lazy videos | §17.1 | slides | lazy, more-lazy | lazy-box, lazy-iszero | HW 5 | available |
M | | President's day | | | | | | | |
W | | Continuations | Continuation videos | | slides | lambda-k, lambda-k-u | cons-k, lambda-cps | HW 6 | available |
M | | Errors, exceptions, continuations | Control videos | §14 | slides | error, try, letcc | traced-k | | |
W | | Compilation Garbage collection | Compilation videos GC videos | §11 | slides slides | 0, 1, 2, 3, 4 5 | 4-abs.rkt, 5-abs.rkt | HW 7 | available |
M | | Objects | Object videos | §10 | slides | object | object-method-as-field | | |
W | | Classes | Class videos | | slides | class, inherit, inherit-parse | in-class | HW 8 | available |
M | | Spring break | | | | | | | |
W | | Spring break | | | | | | | |
M | | Types | Type videos | §15.1-2 | slides | typed-lambda | typed-box | | |
W | | Subtyping | Subtyping videos | §15.3.7 | slides | typed-record, subtype, subtype-mut | if0-subtype | HW 9 | available |
M | | Classes and type checking | Typed class videos | | slides | typed-class, typed-parse | | HW 12 | |
W | | Type inference | Inference videos | | slides | infer-lambda | infer-neg | HW 10 | available |
M | | No class | | | | practice midterm | | | |
W | | No class | | | | | | | |
M | | Typed recursion | Typed recursion videos | §15.2.3-4 | slides | typed-letrec, type-case | equals | | |
W | | Parametric polymorphism | Polymorphism videos | §15.3.1 | slides | poly-lambda | ad-hoc-auto-type-apply | HW 11 | available |
M | | Operational semantics and λ-calculus | | PLLC §1-4 | | | | | |
W | | ISWIM and standard reduction | | PLLC §5-6 | | | | | |
M | | Abstract machines | | PLLC §7,11 | | | | | |