Lecture schedule

The lecturing schedule with slides are given below. The slides will be updated as the course progresses. Lectures will take place in person in BBG 2.09, but we’ll attempt to simulcast the lectures over teams as well.

There is a new programming assignment every week, and the peer reviews for that assignment are due one week later.

Week Date Slides Material Deadlines
6 6/2
8/2		 No lecture: Masters Introduction
Introduction		    
7 13/2
15/2		 Testing
Laziness		  
Assignment 1
8 20/2
22/2		 Monads
Applicative		  
Assignment 2, Peer review assignment 1, Project proposal
9 27/2
1/3		 Lambda calculus
GADTs		  
Assignment 3, Peer review assignment 2
10 6/3
8/3		 Type families
Generics		  
Peer review assignment 3
11 13/3
15/3		 Generics wrap-up & Elm and demo code
Agda		  
Assignment 4
12 20/3
22/3		 Agda  
Project status report - due Fri 24th
13 27/3
29/3		 Agda
Lenses		  
Assignment 5 (due on the 29th)
14 3/4
5/4		 Project presentations
Eelco Visser symposium		   Peer review Assignment 5
15 13/4 Final exam  
Project submission deadline
27 4/7 Retake exam