Type-driven Development of Communicating Systems in Idris by Edwin Brady
52:40
Java 8 (and 9!) in Anger by Trisha Gee
46:36
Type-Driven Development in Idris — Edwin Brady
50:52
Category Theory for the Working Hacker by Philip Wadler
1:17:25
Dependent Types in the Idris Programming Language 1 - Edwin Brady - OPLSS 2017
41:42
Lambda World 2024 - Concurrency Oriented Software - Robert Virding
1:00:35
3 01 A Functional Programmer's Guide to Homotopy Type Theory
41:05
The Dialectics of Type-Level Programming by Aaron Levin
40:39