Week Date Topics Material Deadlines
1 6/2 No lecture, Masters Introduction
8/2 Introduction and tools Slides
2 13/2 Laziness
Testing
Slides and more slides
Slides
15/2 Monads Slides
3 20/2 Applicatives, traversables, foldables Slides Assignment 1
Project proposal
22/2 Monad transformers Slides
4 27/2 Lambda calculus Slides Assignment 2
1/2 GADTs Slides
5 6/3 Type families and data kinds Slides Assignment 3
8/3 System FC and type inference Slides
6 12/3 Generic programming Slides Modelling session
Project status report
15/3 Generic programming, lenses & intro to Agda Slides and Agda code
7 20/3 Dependently typed programming Agda code Assignment 4
22/3 Dependently typed programming Agda code
8 27/3 Dependently typed programming Agda code
29/3 Dependently typed programming Agda code
9 3/4 Hasochism Slides on Hasochism and Slides on lenses Assignment 5
5/4 Project presentations Main project