1:13:23Dependent Type Programming in Coq Theorem Prover (Lecturer 5)mukesh tiwari447 viewsView & Download
1:39:33[ny-haskell] Dependent Types in Haskell with Richard EisenbergNYC Functional Programming Videos35 viewsView & Download
1:26:21Stanford CS336 Language Modeling from Scratch | Spring 2026 | Lecture 4: Attention AlternativesStanford Online12.0K viewsView & Download
1:39:19Interactive Theorem Proving, Lecture 4 - Coq, QuickChick, Type Classes, and more, by Elias CastegrenDavid Broman607 viewsView & Download
59:01Introductory Lectures on Type Theory (4 : Coinductive types, Dependent types)Thorsten Altenkirch1.4K viewsView & Download
1:18:23Designing Dependently-Typed Programming Languages - Lecture 4 - Stephanie WeirichHadi Moshayedi309 viewsView & Download
1:21:52Designing Dependently-Typed Programming Languages - Lecture 2 - Stephanie WeirichHadi Moshayedi597 viewsView & Download
7:55Dependent Type Theory (Part 4 of 6). Dependent Types.Gheorghe Curelet-Balan390 viewsView & Download
38:36"A Little Taste of Dependent Types" by David ChristiansenStrange Loop Conference45.8K viewsView & Download
1:19:05Idris: General Purpose Programming with Dependent TypesLondon Haskell11.7K viewsView & Download
19:55Equations Reloaded - High Level Dependently-Typed Functional Programming and Proving in CoqACM SIGPLAN312 viewsView & Download