22:03TYPES2025 - 5.8. Constantine Theocharis - Unboxed Dependent TypesMSP — Strathclyde391 viewsView & Download
24:21[ICFP'25] [JFP] A practical formalization of monadic equational reasoning in dependent-type theoryACM SIGPLAN31 viewsView & Download
0:00Microsoft Build 2026 Day 1 LIVE | Opening Keynote, Live Coding & DemosMicrosoft Developer0 viewsView & Download
48:37Ryan Orendorff - Functional Programming + Dependent Types ≡ Verified Linear AlgebraKonfy1.6K viewsView & Download
26:30Didier Plaindoux - Dependent Types: From Theory to Practice - #FS2024Ziverge666 viewsView & Download
35:54Spec Driven Development A Faster Way to Code — Erik HanchettConFoo Developer Conference49 viewsView & Download
0:00WDD LIVE 125: Etch's New Native Asset Manager + Auto Architecture & Data EntryKevin Geary0 viewsView & Download
14:44[JFP@ICFP'22] ANF Preserves Dependent Types upto Extensional EqualityACM SIGPLAN384 viewsView & Download