| Date | Topic | Notes |
|---|---|---|
| 1/9 | Introduction | |
| 1/18 | Higher-Order Functions I | html lhs |
| 1/31 | Higher-Order Functions II | html lhs |
| 2/1 | Typeclasses | html lhs |
| 2/6 | Functional Animation | html lhs |
| 2/8 | Functional Reactivity | html lhs |
| 2/13 | Monads | html lhs |
| 2/15 | Monads: State | html lhs |
| 2/27 | Monads: Parser Combinators | html lhs |
| 2/29 | Randomized Testing and QuickCheck | html lhs |
| 3/5 | Monad Transformers | html lhs |
| 3/7 | Software Transactional Memory | pdf hs notes |
| 3/12 | Lambda Calculus | |
| 3/14 | Hindley-Milner Type Inference | html lhs |