Dependent Types in the Idris Programming Language 1 - Edwin Brady - OPLSS 2017
1:18:30
Dependent Types in the Idris Programming Language 2 - Edwin Brady - OPLSS 2017
1:33:37
Adventure with Types in Haskell - Simon Peyton Jones (Lecture 1)
48:05
David Christiansen - Coding for Types: The Universe Patern in Idris - Curry On
1:17:35
4. Assembly Language & Computer Architecture
46:36
Type-Driven Development in Idris — Edwin Brady
56:58
Philip Wadler - Propositions as Types (Lambda Days 2016)
48:34
Making sense of the Haskell type system by Ryan Lemmer at FnConf17
1:24:30