| Wed 25 Aug | overview, Ada intro | Ch 1, Sec 2.1 |
| Thu 27 Aug | Ada control | Sec 2.2 |
| Mon 30 Aug | Ada types | Sec 2.3 |
| Wed 1 Sep | Ada subroutines, parameters | Sec 2.4 |
| Fri 3 Sep | syntax, grammar, and ambiguity | Sec 3.1, 3.2 |
| Wed 8 Sep | recursive-descent parsing | Sec 3.3.2 |
| Fri 10 Sep | correctness: straight-line programs | Sec 4.1 |
| Mon 13 Sep | correctness: iterative programs | Sec 4.2 |
| Wed 15 Sep | Quiz 1, correctness: practice | Sec 4.3 |
| Fri 17 Sep | invariants, binding time | Sec 4.3, Sec 5.1 |
| Mon 20 Sep | binding time | Sec 5.2 to 5.5 |
| Wed 22 Sep | generics, memory | Sec 5.6, 6.1 |
| Fri 24 Sep | Smalltalk introduction | Sec 8.1, 8.2, 8.3 |
| Mon 27 Sep | Smalltalk method invocation | Sec 8.4, 8.5 |
| Wed 29 Sep | OOPL compilation | Sec 9.1, 9.2, 9.3 |
| Fri 1 Oct | OOPL II, multiple inheritance | Sec 9.4, 9.5, 10.1 |
| Mon 4 Oct | interfaces | Sec 10.2 |
| Wed 6 Oct | Midterm | |
| Fri 8 Oct | concurrency & threads | Sec 11.1 |
| Mon 11 Oct | cooperative synchronization | Sec 11.2 |
| Wed 13 Oct | competitive synchronization | Sec 11.3 |
| Mon 18 Oct | lambda calculus: introduction | Sec 12.1 |
| Wed 20 Oct | lambda calculus: recursion | Sec 12.2, 12.3 |
| Fri 22 Oct | lambda calculus: numerals | Sec 12.4 |
| Mon 25 Oct | Scheme introduction | Sec 13.1, 13.2, 13.3 |
| Wed 27 Oct | Quiz 2, Scheme lists | Sec 13.4 |
| Fri 29 Oct | Scheme lists, cont'd | Sec 13.4, 13.5 |
| Mon 1 Nov | Lazy evaluation | Sec 14.2 |
| Wed 3 Nov | Lazy parameter implementation | Sec 14.1 |
| Fri 5 Nov | Haskell introduction | Sec 14.3, 15.2 |
| Mon 8 Nov | Haskell lists | Sec 15.3 |
| Wed 10 Nov | Haskell types and classes | Sec 15.4, 15.5 |
| Fri 12 Nov | Haskell printing, miscellaneous | Sec 15.6 |
| Mon 15 Nov | persistent stacks | Sec 16.1 |
| Wed 17 Nov | Quiz 3, persistent trees | Sec 16.2, 16.3 |
| Fri 19 Nov | persistent arrays & queues | Sec 16.4 |
| Mon 22 Nov | monads | Sec 17.1-17.4 |
| Mon 29 Nov | Haskell I/O | Sec 17.5-17.6 |
| Wed 1 Dec | tail recursion | Sec 18.1 |
| Fri 3 Dec | garbage collection | article |
| Mon 6 Dec | Java garbage collection | article |
| 8:30a, 10 Dec | Final |