"Dependent Types in Haskell" by Stephanie Weirich Share: Download MP3 Similar Tracks "A Little Taste of Dependent Types" by David Christiansen Strange Loop Conference "Hackett: a metaprogrammable Haskell" by Alexis King Strange Loop Conference Adventure with Types in Haskell - Simon Peyton Jones (Lecture 1) jasonofthel33t Foundations 7: Dependent Type Theory Richard Southwell Depending on Types - Stephanie Weirich Erlang Solutions Dependent Types - salvation or plague | Lambda Days 2021 Code Sync [Haskell'23] The Evolution of Effects ACM SIGPLAN Can't solve this in Haskell and even Clojure Tsoding Daily Making sense of the Haskell type system by Ryan Lemmer at FnConf17 ConfEngine "Building Haskell Programs with Fused Effects" by Patrick Thomson Strange Loop Conference Secrets of the GHC Typechecker in 100 Type Declarations - Simon Peyton Jones The Haskell Foundation "Proof Theory Impressionism: Blurring the Curry-Howard Line" by Dan Pittman Strange Loop Conference "Point-Free or Die: Tacit Programming in Haskell and Beyond" by Amar Shah Strange Loop Conference LambdaConf 2015 - A Practical Introduction to Haskell GADTs Richard Eisenberg Confreaks Dependent Types with David Christiansen – Functional Futures Serokell Category Theory for the Working Hacker by Philip Wadler Lambda World Dependent types for practical use BCS Member Groups Propositions as Types - Computerphile Computerphile GHC Core Optimisations - Sebastian Graf - 2023 GHC Contributor's Workshop The Haskell Foundation Keynote: Dependently-Typed Haskell - Stephanie Weirich Typelevel
