Bartosz Milewski - Truth about Types (Lambda Days 2016)
56:58
Philip Wadler - Propositions as Types (Lambda Days 2016)
39:33
John Hughes - The Mysteries of Dropbox (Lambda Days 2016)
1:08:49
Why algebraic data types are important - Bartosz Milewski - code::dive 2018
1:04:16
Simon Peyton-Jones: Escape from the ivory tower: the Haskell journey
43:49
F(by) 2017. Bartosz Milewski - A Crash Course in Category Theory.
50:52
Category Theory for the Working Hacker by Philip Wadler
1:15:14
A Crash Course in Category Theory - Bartosz Milewski
48:58