1:39:33[ny-haskell] Dependent Types in Haskell with Richard EisenbergNYC Functional Programming Videos34 viewsView & Download
38:42"Dependent Types in Haskell" by Stephanie WeirichStrange Loop Conference25.0K viewsView & Download
48:37Ryan Orendorff - Functional Programming + Dependent Types ≡ Verified Linear AlgebraKonfy1.6K viewsView & Download
1:27Ryan Orendorff about his talk "Functional Programming + Dependent Types ≡ Verified Linear Algebra"Konfy365 viewsView & Download
22:49Eliminating Bugs with Dependent Types (Haskell Symposium 2020)Noam Zilberstein132 viewsView & Download
1:19:05Idris: General Purpose Programming with Dependent TypesLondon Haskell11.7K viewsView & Download
57:44Vitaly Bragilevsky - Type Theory Behind the Glasgow Haskell Compiler Internals (Part 4) - λC 2018LambdaConf416 viewsView & Download
11:03Haskell for Imperative Programmers #4 - Lists and TuplesPhilipp Hagenlocher107.1K viewsView & Download