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

Olaf Klinke olf at aatal-apotheke.de
Fri May 7 15:38:04 UTC 2021

> 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. 


More information about the Haskell-Cafe mailing list