7:27Haskell for Imperative Programmers #13 - TypeclassesPhilipp Hagenlocher50.5K viewsView & Download
1:04:18Logic & Foundations with Haskell: Haskell 8 :: Implementing FunctionsMarius Furter322 viewsView & Download
40:28BOB Summer 2019 - Henning Thielemann, Expressive Linear Algebra in HaskellBOBKonf693 viewsView & Download
34:26Logic & Foundations with Haskell: Haskell 3 :: Types and TypeclassesMarius Furter800 viewsView & Download