"Propositions as Types" by Philip Wadler
41:40
"Categories for the Working Hacker" by Philip Wadler
1:30:37
Naïve Type Theory by Thorsten Altenkirch (University of Nottingham, UK)
45:50
"The Mess We're In" by Joe Armstrong
56:58
Philip Wadler - Propositions as Types (Lambda Days 2016)
38:36
"A Little Taste of Dependent Types" by David Christiansen
28:50
Propositions as Types (7)
41:31
Bidirectional Type Checking
41:55