38:36"A Little Taste of Dependent Types" by David ChristiansenStrange Loop Conference45.7K viewsView & Download
38:42"Dependent Types in Haskell" by Stephanie WeirichStrange Loop Conference25.0K viewsView & Download
33:42Scale By The Bay 2021 : Ryan Orendorff, Functional Programming + Dependent Types ≡ Verified Linear..FunctionalTV248 viewsView & Download
5:38Implementing the Refinement Types Tutorial (Intro)Aprender a Programar com o Alcides335 viewsView & Download
22:03TYPES2025 - 5.8. Constantine Theocharis - Unboxed Dependent TypesMSP — Strathclyde386 viewsView & Download
26:30Didier Plaindoux - Dependent Types: From Theory to Practice - #FS2024Ziverge666 viewsView & Download
23:00Refinement Kinds: Type-Safe Programming with Practical Type-Level ComputationACM SIGPLAN337 viewsView & Download
18:03Existentials, Universals, And Path Dependent Types For Practical, Safer InterfacesZiverge929 viewsView & Download
50:06Ryan Orendorff- Using Dependent Types in Mathematical Optimization Algorithms- λC 2019LambdaConf231 viewsView & Download