17:20Graded Modal Dependent Type Theory (ESOP 2021)Lectures by Prof. Eades at AU643 viewsView & Download
20:48[CPP'23] Compositional pre-processing for automated reasoning in dependent type theoryACM SIGPLAN76 viewsView & Download
18:43[ICFP24] Normalization by evaluation for modal dependent type theoryACM SIGPLAN72 viewsView & Download
38:36"A Little Taste of Dependent Types" by David ChristiansenStrange Loop Conference45.7K viewsView & Download
28:47(Zwanziger) - Natural Model Semantics for Comonadic and Adjoint Modal Type TheoryJelle Herold219 viewsView & Download
1:00:11From Scheme to Dependent Types in 100 lines by Gershom Bazerman (Part 1)LispNYC929 viewsView & Download
24:03Linear Dependent Type Theory for Quantum Programming LanguagesPeter Selinger700 viewsView & Download
26:30Didier Plaindoux - Dependent Types: From Theory to Practice - #FS2024Ziverge666 viewsView & Download