| Date | Topic | Notes |
|---|---|---|
| 4/3 | Hello, World | pdf ml |
| 4/5 | Crash course in ML | pdf ml |
| 4/10 | Datatypes | pdf ml |
| 4/12 | (contd.) | pdf ml |
| 4/17 | Recursion | pdf ml |
| 4/19 | Higher-Order Functions | pdf ml |
| 4/24 | Environments & Closures | pdf ml |
| 4/26 | (contd.) | pdf ml |
| 5/1 | Polymorphism & Inference | |
| 5/3 | Lexing & Parsing | html ml |
| 5/15 | Crash course in Scala | html scala |
| 5/17 | (contd.) | html scala |
| 5/22 | Iteration & Recursion | html scala sudoku1 |
| 5/24 | Classes, Objects, Inheritance | html scala |
| 5/29 | Subtyping | html scala |
| 5/31 | Generics & Implicits | html scala |
| 6/5 | Logic Programming I | html prolog |
| 6/7 | Logic Programming II | html prolog |