38:42"Dependent Types in Haskell" by Stephanie WeirichStrange Loop Conference25.1K viewsView & Download
1:39:33[ny-haskell] Dependent Types in Haskell with Richard EisenbergNYC Functional Programming Videos34 viewsView & Download
48:37Ryan Orendorff - Functional Programming + Dependent Types ≡ Verified Linear AlgebraKonfy1.6K viewsView & Download
5:59Haskell for Imperative Programmers #2 - Functions, Types, let & wherePhilipp Hagenlocher159.2K viewsView & Download
1:27Ryan Orendorff about his talk "Functional Programming + Dependent Types ≡ Verified Linear Algebra"Konfy365 viewsView & Download
11:55@rae: Connecting linearity and relevance in Dependent HaskellTweag by Modus Create1.5K viewsView & Download