7 May
2021
7 May
'21
11:38 a.m.
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