Lambda Days 2018 - Philip Wadler - Categories for the Working Hacker Published -- Download video MP4 360p Recommendations 41:40 "Categories for the Working Hacker" by Philip Wadler 42:43 "Propositions as Types" by Philip Wadler 40:39 Category Theory in Life - Eugenia Cheng 50:52 Category Theory for the Working Hacker by Philip Wadler 1:02:15 Lambda Calculus - Fundamentals of Lambda Calculus & Functional Programming in JavaScript 56:58 Philip Wadler - Propositions as Types (Lambda Days 2016) 1:15:14 A Crash Course in Category Theory - Bartosz Milewski 31:18 The Story of Shor's Algorithm, Straight From the Source | Peter Shor 1:16:55 Joe Armstrong & Alan Kay - Joe Armstrong interviews Alan Kay 1:01:08 David Spivak - Category Theory - Part 1 of 6 - λC 2017 1:07:49 Into the Core - Squeezing Haskell into Nine Constructors by Simon Peyton Jones 50:36 IOHK | Research; Prof. Philip Wadler, Smart Contracts. 43:49 F(by) 2017. Bartosz Milewski - A Crash Course in Category Theory. 57:24 Terence Tao at IMO 2024: AI and Mathematics 45:34 Profunctor Optics: The Categorical Approach - Bartosz Milewski 1:16:36 A Pragmatic Introduction to Category Theory—Daniela Sfregola Similar videos 53:06 Keynote: Programming Languages in Agda = Programming (...) - Philip Wadler | Lambda Days 2021 1:09:27 13. SFI / Propositions as Types / Philip Wadler 14:44 Philip Wadler Interview | IOHK PlutusFest 2018 More results