| Date | Topic | Comments |
| 9/3 | Inductive Definitions and data abstractions (Ocaml) | Chapters 1 and 2 |
| 9/5 | Inductive Definitions and data abstractions (Ocaml) | Chapters 1 and 2 |
| 9/10 | Inductive Definitions and data abstractions (Ocaml) | Chapters 1 and 2 |
| 9/12 | Inductive Definitions and data abstractions (Ocaml) | Chapters 1 and 2 |
| 9/17 | Simple functional languages | Chapter 3 |
| 9/19 | Simple functional languages | Chapter 3 |
| 9/24 | Simple functional languages | Chapter 3 |
| 9/26 | Simple functional languages | Chapter 3 |
| 10/1 | Types | Chapter 4 |
| 10/3 | No lecture or guest lecture | |
| 10/8 | Types | Chapter 4 |
| 10/10 | Types | Chapter 4 |
| 10/15 | Types | Chapter 4 |
| 10/17 | Midterm exam | |
| 10/22 | Objects (Java) | Chapter 5 |
| 10/24 | Objects (Java) | Chapter 5 |
| 10/29 | No class | Lecture by J Strother Moore in LH 102. Please attend the invited lecture! |
| 10/31 | Objects (Java) | Chapter 5 |
| 11/5 | Objects (Java) | Chapter 5 |
| 11/7 | Objects (Java) | Chapter 5 |
| 11/12 | Continuations | Chapters 7 and 8 |
| 11/14 | Continuations | Chapters 7 and 8 |
| 11/19 | Continuations | Chapters 7 and 8 |
| 11/21 | Continuations | Chapters 7 and 8 |
| 11/26 | Continuations | Chapters 7 and 8 |
| 11/28 | Thanksgiving | |
| 12/3 | Applications | |
| 12/5 | Applications | |
| 12/10 | Review | |
| 12/12 | Review | |
| 12/17 | Final exam (12:30-2:30) |