8-hours remote interactive course on "Type-level programming with GHC" Andres Löh Wednesday, 27 June 2018
Parametricity Tutorial (Part 2): Type constructors and type classes Edsko de Vries Friday, 14 August 2015