Category Theory for the Working Hacker by Philip Wadler Published 2016-11-11 Download video MP4 360p Recommendations 42:43 "Propositions as Types" by Philip Wadler 45:28 Lambda World 2019 - A categorical view of computational effects - Emily Riehl 41:40 "Categories for the Working Hacker" by Philip Wadler 1:36:54 Category Theory by Tom LaGatta 1:11:55 Bartosz Milewski - Truth about Types (Lambda Days 2016) 09:26 27 Unhelpful Facts About Category Theory 1:16:36 A Pragmatic Introduction to Category Theory—Daniela Sfregola 53:50 A Taste of Type Theory • Bartosz Milewski • YOW! 2019 56:58 Philip Wadler - Propositions as Types (Lambda Days 2016) 59:50 Leslie Lamport: Thinking Above the Code 1:03:30 Lecture 1: Introduction to CS and Programming Using Python 46:09 Why Isn't Functional Programming the Norm? – Richard Feldman 56:10 Why Functional Programming Matters by John Hughes at Functional Conf 2016 21:48 Programming with Math | The Lambda Calculus 43:49 F(by) 2017. Bartosz Milewski - A Crash Course in Category Theory. Similar videos 1:10:30 Lambda Days 2018 - Philip Wadler - Categories for the Working Hacker 08:49 Computability, Philip Wadler 1:42:39 Category Theory Lulz - Ken Scambler 1:56:45 Category theory: a framework for reasoning 02:52 My New Category Theory Book ! 1:15:14 A Crash Course in Category Theory - Bartosz Milewski 46:46 Category Theory 1.1: Motivation and Philosophy 21:08 ICFP 2012. Philip Wadler: Propositions as Sessions. 01:53 LOGIC 56:32 Category Theory 7.1: Functoriality, bifunctors 1:05:15 SICSA PhD Conference 2012 - Keynote: Philip Wadler More results