YoVDO

Dependent Types Courses

Introduction to programming with dependent types in Scala
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
Page 1 Next >