| Number | Date | Topics Covered | Notes and Readings | |
|---|---|---|---|---|
| 01 | 12 May | Prologue | lecture 01 | |
| 02 | 14 May | Equivalence, Binding, and Scope | lecture 02 | |
| 03 | 19 May | Induction and Recursion | lecture 03 | |
| 04 | 21 May | Structural Induction and Tail Recursion | lecture 04 | |
| 05 | 26 May | Trees | lecture 05 | |
| 06 | 28 May | Asymptotic Analysis | lecture 06 | |
| 07 | 02 Jun | Sorting and Parallelism | lecture 07 | |
| 08 | 04 Jun | Polymorphism | lecture 08 | |
| 08 Jun | MIDTERM EXAM #1 | |||
| 09 | 09 Jun | Higher-Order Functions | lecture 09 | |
| 10 | 11 Jun | Combinators and Staging | lecture 10 | 11 | 16 Jun | Continuation-Passing Style | lecture 11 |
| 12 | 18 Jun | Exceptions | lecture 12 | |
| b1 | 22 Jun | Lambda Calculus (bonus) | lecture 1 (bonus) | |
| 13 | 23 Jun | Regular Expressions | lecture 13 | |
| 14 | 25 Jun | Structures and Signatures | lecture 14 | |
| 15 | 29 Jun | Functors | lecture 15 | |
| 16 | 02 July | Red-Black Trees | lecture 16 | |
| 17 | 07 July | Sequences | lecture 17 | |
| 06 Jul | MIDTERM EXAM #2 | |||
| 18 | 09 Jul | Lazy | lecture 18 | |
| 19 | 14 Jul | Imperative | lecture 19 | |
| 20 | 16 Jul | TBD | ||
| 21 | 21 Jul | Special Topics: Compilers | ||
| 22 | 23 Jul | Special Topics: Program Analysis | ||
| 23 | 26 Jul | Final Review | ||
| TBA | FINAL EXAM TIME TBA |
The "Notes and Readings" field will usually be blank until it is updated before the given day's lectures (generally by the night before).
Disclaimer: All topics and dates are subject to change.