Dependent Types Courses
Stepik On Voevodsky's Univalence Principle - André Joyal
Institute for Advanced Study via YouTube Univalent Foundations and the Equivalence Principle - Benedikt Ahrens
Institute for Advanced Study via YouTube A Little Taste of Dependent Types
Strange Loop Conference via YouTube Dependent Types in Haskell
Strange Loop Conference via YouTube Scala vs Idris - Dependent Types, Now and in the Future
Strange Loop Conference via YouTube Proof Theory Impressionism - Blurring the Curry-Howard Line
Strange Loop Conference via YouTube Peter Dybjer - Intuitionistic Type Theory - Lecture I
Hausdorff Center for Mathematics via YouTube A Taste of Type Theory
GOTO Conferences via YouTube Bulletproof Python - Writing Fewer Tests with a Typed Code Base
EuroPython Conference via YouTube