Date | Topic | Notes | Homework | Solution |
W | | Intro, BNF | PLAI §1; slides | HW 1 | available |
F | | Scheme | quick-ref.scm | | |
M | | Interpreters | PLAI §2; slides | | |
W | | Identifier binding | PLAI §3; slides | HW 2 | available |
F | | First-order functions | PLAI §4; slides | | |
M | | Labor Day | | | |
W | | HW 2 presentations | | | |
F | | Environments | PLAI §5; slides | HW 3 | available |
M | | Functions as values | PLAI §6; slides | | |
W | | Lexical addresses, dynamic scope | slides | HW 4 | available |
F | | Recursion | PLAI §8; slides | | |
M | | Recursive environments | PLAI §9; slides | | |
W | | HW 4 presentations | | HW 5 | available |
F | | Class Cancelled | | | |
M | | Encoding with Functions | slides, lc.ss | | |
W | | Mid-Term 1 | sample | | |
F | | Lazy evaluation | PLAI §10; slides, code | | |
M | | Implementing lazy evaluation | PLAI §11; slides | | |
W | | HW 5 presentations | | HW 6 | available |
F | | Fall Break | | | |
M | | State, call-by-reference | PLAI §12-14; slides | | |
W | | Web server and CPS | PLAI §15-17; slides, server.ss | | |
F | | HW 6 presentations | | HW 7 | available |
M | | Parsing and CPS | success-fail-k.zip | | |
W | | Class Cancelled | | | |
F | | HW 7 presentations | | | |
M | | Let/cc | PLAI §19; slides, server2.ss | | |
W | | Implementing continuations | PLAI §20; slides, letcc.scm | HW 8 | available |
F | | Compiling an Interpreter | PLAI §21-22; slides, comp-interp.zip | | |
M | | Garbage collection | PLAI §23; slides, gc.zip | | |
W | | HW 8 presentations | mt2-review.txt | Mid-Term 2 | |
F | | Types | PLAI §26-27; slides | | |
M | | Caml | tutorial, caml-demo.txt; slides | | |
W | | Types and recursion | PLAI §28-29; slides | HW 9 | available |
F | | Type soundness and inference | PLAI §30, 32; slides | | |
M | | Polymorphism | PLAI §29, 31; slides | | |
W | | HW 9 presentations | | HW 10 | available |
F | | Classes and objects | slides | | |
M | | Inheritance and type checking | slides | | |
W | | HW 10 presentations | | HW 11 | |
F | | Thanksgiving | | | |
M | | Compiling classes | slides | | |
W | | Super and inner | slides | | |
F | | HW 11 presentations | | | |
M | | HW 11 presentations | ex.ml | | |
W | | HW 11 presentations | | | |