[Haskell-cafe] (Online) Utrecht Summer School on Advanced functional programming

[Olaf Klinke]

> The lectures will cover several more advanced topics regarding
> programming with types in Haskell, including topics such as:
> 
>    * monads and applicative functors;
>    * lambda calculus;
>    * generalized algebraic datatypes;
>    * datatype generic programming
>    * type families and type-level programming;

Even if the schedule is yet to be finalized, a definitive list of
topics covered would be nice. 

Thanks,
Olaf