Week Topic Exercises
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