YoVDO

Dependent Types Courses

HOL with Dependent Types and Subtyping
Hausdorff Center for Mathematics via YouTube
Automating Reasoning in Cubical Type Theory
Hausdorff Center for Mathematics via YouTube
What Are Types For, Or Are They Only Against? - Exploring Type Systems in Programming
GOTO Conferences via YouTube
Lean4Lean - Formalizing the Type Theory of Lean
Hausdorff Center for Mathematics via YouTube
A Type-Theoretic Framework for Certified Meta-programming
Hausdorff Center for Mathematics via YouTube
From HoTT to HOTT - Exploring Homotopy Type Theory
Schmid College, Chapman University via YouTube
Unleashing the Power of Type-Level Programming in Scala
NashKnolX via YouTube
Examples of Easy Dependently Typed Programming in Idris
Code Sync via YouTube
Yaffle: A New Core for Idris 2
ACM SIGPLAN via YouTube
Efficient Evaluation with Controlled Definition Unfolding - WITS'24
ACM SIGPLAN via YouTube
< Prev Page 2 Next >