"Categories for the Working Hacker" by Philip Wadler Published 2018-10-15 Download video MP4 360p Recommendations 42:43 "Propositions as Types" by Philip Wadler 50:52 Category Theory for the Working Hacker by Philip Wadler 36:21 "Probabilistic scripts for automating common-sense tasks" by Alexander Lew 32:16 Category Theory for Neuroscience (pure math to combat scientific stagnation) 38:36 "A Little Taste of Dependent Types" by David Christiansen 45:50 "The Mess We're In" by Joe Armstrong 10:32 What is category theory? 18:02 Automated Mathematical Proofs - Computerphile 12:45 The First Real Application of Category Theory #SoME3 43:49 F(by) 2017. Bartosz Milewski - A Crash Course in Category Theory. 1:04:19 "We Really Don't Know How to Compute!" - Gerald Sussman (2011) 40:39 Category Theory in Life - Eugenia Cheng 1:03:14 Category Theory, The essence of interface-based design - Erik Meijer 46:09 Why Isn't Functional Programming the Norm? – Richard Feldman 45:28 Lambda World 2019 - A categorical view of computational effects - Emily Riehl 57:56 Category Theory For Beginners: Introduction 1:16:36 A Pragmatic Introduction to Category Theory—Daniela Sfregola Similar videos 1:10:30 Lambda Days 2018 - Philip Wadler - Categories for the Working Hacker 08:49 Computability, Philip Wadler 21:08 ICFP 2012. Philip Wadler: Propositions as Sessions. 30:32 [Wadlerfest 2016] Philip Wadler: A List of Successes that has not yet Changed the World 33:16 [LFCS30] Philip Wadler: A Few of LFCS's Greatest Hits 07:56 IOHK | Prof. Philip Wadler, area leader, programming languages. 01:53 LOGIC 1:09:27 13. SFI / Propositions as Types / Philip Wadler 53:06 Keynote: Programming Languages in Agda = Programming (...) - Philip Wadler | Lambda Days 2021 03:01 What does logic have to do with Java? More results