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 21/8 | 09:00 | Registration |
| 09:30 | Introduction and welcome (WS) (slides) | |
| 11:00 | Lambda calculus (SDS) (slides) | |
| 13:00 | Lunch | |
| 14:00 | Lab session | |
| 15:30 | Monads and I/O (WS) (slides) | |
| 18:00 | Dinner at Theehuis Rhijnauwen | |
| Tuesday 22/8 | 09:00 | Generic programming (JJ) (slides) |
| 11:00 | Monads transformers (ASM) (slides) | |
| 13:00 | Lunch | |
| 14:00 | Lab session | |
| 15:30 | Typed lambda calculus (WS) (slides) | |
| 18:00 | Dinner at Tapasbar El Mundo | |
| Wednesday 23/9 | 09:00 | Applicative, foldable and traversable (WS) (slides) |
| 11:00 | Generalized Algebraic Data Types (JJ) (slides) | |
| 13:00 | Lunch | |
| 14:00 | Lab session | |
| 15:30 | Laziness (SDS) (slides) | |
| 18:00 | Dinner at Pizzaria Il Pozzo | |
| Thursday 24/9 | 09:00 | Parser combinators (SDS) (slides) |
| 11:00 | Testing and tools (ASM) (slides) | |
| 13:00 | Lunch | |
| 14:00 | Lab session | |
| 15:30 | Type families (WS)(slides) | |
| 18:00 | Dinner at Restaurant Djakarta | |
| Friday 25/8 | 09:00 | GHC2JS (Guest lecture: Luite Stegeman) |
| 11:00 | Concurrency and parallelism (Guest lecture: Simon Marlow)(slides) | |
| 13:00 | Lunch | |
| 14:00 | Haskell in industry (Guest lecture: Atze Dijkstra) | |
| 15:00 | Awards ceremony and closure |