2:07:03Part 7: Haskell - Thinking with types (Chapter 7: Existential Types)cmdv-tv278 viewsView & Download
1:11:33Part 8: Haskell - Thinking with types (Chapter 7: Existential Types)cmdv-tv416 viewsView & Download
1:53:44Part 1: Haskell - Thinking with types (Chapter1: The Algebra Behind Types)cmdv-tv2.2K viewsView & Download
1:24:34Simon Peyton Jones on Haskell, Verse, Strong Type Systems and Tasteful AbstractionsRock the JVM4.1K viewsView & Download
30:20Haskell for Imperative Programmers #36 - Category Theory (Functors, Applicatives, Monads)Philipp Hagenlocher31.4K viewsView & Download
5:59Haskell for Imperative Programmers #2 - Functions, Types, let & wherePhilipp Hagenlocher159.2K viewsView & Download
1:41:50Part 2: Haskell - Thinking with types (Chapter 2 - Terms, Types and Kinds)cmdv-tv323 viewsView & Download
38:42"Dependent Types in Haskell" by Stephanie WeirichStrange Loop Conference25.0K viewsView & Download
7:27Haskell for Imperative Programmers #13 - TypeclassesPhilipp Hagenlocher50.5K viewsView & Download