Making sense of the Haskell type system by Ryan Lemmer at FnConf17 Share: Download MP3 Similar Tracks @rae: How to choose between Typeable, Data, and Generic in Haskell Tweag Tests, Derivations, Proofs by Roger Hui at FnConf17 ConfEngine GHC's Runtime System - Ben Gamari - 2023 GHC Contributor's Workshop The Haskell Foundation Thomas Dietert-Types as Program Specifications: A Intro to Type-Level Programming in Haskell λC 2019 LambdaConf Higher-order Type-level Programming in Haskell ACM SIGPLAN Why Learn Haskell in 2025? Gavin Freeborn "Super Haskell": an introduction to Agda by André Muricy Func Prog Sweden George Wilson - The Extended Functor Family Compose Conference @rae: An introduction to Haskell's kinds Tweag The Dialectics of Type-Level Programming by Aaron Levin Lambda World The Haskell Unfolder Episode 28: type families and overlapping instances Well-Typed Algebraic Data Types with Haskell LigerLearn "Dependent Types in Haskell" by Stephanie Weirich Strange Loop Conference ⚡ Type Level Arithmetic in Haskell - Felix B UWCS - University of Warwick Computing Society Adventure with Types in Haskell - Simon Peyton Jones (Lecture 1) jasonofthel33t Learning Haskell Week02 - Intro To Types Curtis D'Alves A Totally Non-Terrifying, Practical Introduction to Type-Level Programming Berlin Functional Programming Group "Understanding TypeScript's Structural Type System" by Drew Colthorp Strange Loop Conference Why algebraic data types are important - Bartosz Milewski - code::dive 2018 code::dive conference Programming Constructs | Masterclass by Amod Malviya, Co-Founder at @Udaandotcom Scaler School of Technology
