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
41:05
The Dialectics of Type-Level Programming by Aaron Levin
42:43
"Propositions as Types" by Philip Wadler
46:36
Type-Driven Development in Idris — Edwin Brady
1:02:15
Lambda Calculus - Fundamentals of Lambda Calculus & Functional Programming in JavaScript
40:39
Edwin Brady - Idris 2 - Type-driven Development of Idris
50:52