26:30Didier Plaindoux - Dependent Types: From Theory to Practice - #FS2024Ziverge666 viewsView & Download
49:57Reification and type-safety in a CQRS world by Renato CavalcantiScala Days Conferences956 viewsView & Download
48:47Academese to English: Scala's Type System, Dependent Types and What It Means To YouInfoQ22.1K viewsView & Download
34:40Functional Scala - Practical Logic(al) Programming with Dotty by Lander LopezScala in the City815 viewsView & Download
7:43Introduction to programming with dependent types in Scala (2018)Dmytro Mitin89 viewsView & Download
18:03Existentials, Universals, And Path Dependent Types For Practical, Safer InterfacesZiverge929 viewsView & Download
30:29Type-Classes (in Scala 3) by Alexandru Nedelcu | Scalar 2026SoftwareMill428 viewsView & Download
40:47Jon Pretty - Exploiting Dependent Types for Safer, Faster CodeScala Up North429 viewsView & Download