7:27Haskell for Imperative Programmers #13 - TypeclassesPhilipp Hagenlocher50.5K viewsView & Download
53:06Keynote: Programming Languages in Agda = Programming (...) - Philip Wadler | Lambda Days 2021Code Sync2.6K viewsView & Download
30:37Compose :: Melbourne 2017 - George Wilson - Type Class: The Ultimate Ad HocCompose Conference5.5K viewsView & Download
47:47Tech Mesh 2012 - Faith, Evolution, and Programming Languages: from Haskell to Java - Philip WadlerErlang Solutions2.9K viewsView & Download
48:35Ryan Orendorff & Daniel Hensley - Introduction to Linear Type Systems and Linear Haskell - λC 2018LambdaConf1.1K viewsView & Download
56:42Vitaly Bragilevsky - Type Theory Behind Glasgow Haskell Compiler Internals (Part 1) - λC 2018LambdaConf3.5K viewsView & Download