1:46:10A Totally Non-Terrifying, Practical Introduction to Type-Level ProgrammingBerlin Functional Programming Group6.8K viewsView & Download
43:13Jamie Thompson: Effective Match Types [Scala Days 2025]Scala Days Conferences570 viewsView & Download
1:57:05Thomas Dietert-Types as Program Specifications: A Intro to Type-Level Programming in Haskell λC 2019LambdaConf814 viewsView & Download
4:55Typing types at type level - Matthis Kruse - Meeting C++ 2019 lightning talksMeeting Cpp884 viewsView & Download
1:01:37Advanced Pattern Matching in C# - Oliver Sturm - NDC London 2026NDC Conferences3.4K viewsView & Download