Type-driven Development of Communicating Systems in Idris by Edwin Brady
52:40
Java 8 (and 9!) in Anger by Trisha Gee
58:15
Idris 2: Quantitative Types in Action - Edwin Brady
46:36
Type-Driven Development in Idris — Edwin Brady
41:05
The Dialectics of Type-Level Programming by Aaron Levin
40:39
Edwin Brady - Idris 2 - Type-driven Development of Idris
50:52
Category Theory for the Working Hacker by Philip Wadler
41:42
Lambda World 2024 - Concurrency Oriented Software - Robert Virding
12:40