Dependent Types Courses
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