| Date | Topic | Notes |
|---|---|---|
| 9/27 | Hello, World | pdf pdf4 ml |
| 10/2 | Crash course in ML | pdf pdf4 ml |
| 10/4 | No lecture | |
| 10/9 | Datatypes & Recursion | pdf pdf4 ml |
| 10/11 | (contd.) | |
| 10/16 | (contd.) | |
| 10/18 | Higher-order Functions | pdf pdf4 ml |
| 10/23 | Environments & Closures | pdf pdf4 ml |
| 10/25 | (contd.) | |
| 10/30 | Polymorphism | pdf pdf4 |
| 11/1 | Type Inference | pdf pdf4 |
| 11/6 | Midterm | html ml |
| 11/8 | Crash course in Scala | handout slides scala |
| 11/13 | (contd.) | |
| 11/15 | Iteration & Recursion | handout slides scala |
| 11/20 | Classes & Objects | handout slides scala |
| 11/22 | Thanksgiving | |
| 11/27 | Subtyping | handout slides scala |
| 11/29 | Generics & Implicits | handout slides scala |
| 12/4 | Logic Programming I | html slides prolog |
| 12/6 | Logic Programming II | html prolog |
| 12/11 | Final |