Schedule


We're still finalizing the schedule. Based on the courses we've taught in the past, we have put together a preliminary program illustrative of the different topics that we intend to cover.


The program consists of a mix of lectures, labs and social activities. The lectures will cover new material; the supervised labs will let you put this new material into practice by tackling several assignments and projects.


Date Time Topics
Monday 27/8 09:00 Registration
09:30 Introduction and welcome
11:00 Lambda calculus
13:00 Lunch
14:00 Lab session
15:30 Monads and I/O
Tuesday 28/8 09:00 Testing and tools
11:00 Monads transformers
13:00 Lunch
14:00 Lab session
15:30 Typed lambda calculus (WS)
Wednesday 29/9 09:00 Generalized Algebraic Data Types
11:00 Applicative Functors
13:00 Lunch
14:00 Lab session
Thursday 30/9 09:00 Laziness
11:00 Guest speaker
13:00 Lunch
14:00 Lab session
15:30 Type families
Friday 31/8 09:00 Generic programming
11:00 Guest lecture
13:00 Lunch
14:00 Haskell in Industry
15:00 Awards ceremony and closure