| Week | Topic | Resources |
|---|---|---|
| 1 | Introduction and Course Overview | |
| 2 | Introduction to Functional Programming in Haskell | |
| 3 | Property-based Testing I Jane Street Capital Guest Lecture |
|
| 4 | Property-based Testing II | |
| Midsession Break | ||
| 5 | Functor, Applicative, and Monad | |
| 6 | Controlling Effects | |
| 7 | Machine Checked Properties | |
| 8 | More on GADTs | |
| 9 | Existentially quantified types and higher-ranked polymorphism | |
| 10 | Curry Howard Isomorphism | |
| 11 | Case Study: Accelerate | |
| 12 | Revision | |