Philip Wadler and Erik Meijer: On Programming Language Theory and Practice Published 2010-12-23 Download video MP4 360p Recommendations 1:03:14 Category Theory, The essence of interface-based design - Erik Meijer 50:52 Category Theory for the Working Hacker by Philip Wadler 1:07:58 Erik Meijer: Functional Programming 42:43 "Propositions as Types" by Philip Wadler 1:06:59 Brian Beckman: The Zen of Stateless State - The State Monad 56:10 Why Functional Programming Matters by John Hughes at Functional Conf 2016 06:23 Simon Peyton Jones - Haskell is useless 41:40 "Categories for the Working Hacker" by Philip Wadler 46:39 React 2014 : Erik Meijer - What does it mean to be Reactive? 56:58 Philip Wadler - Propositions as Types (Lambda Days 2016) 04:01 Programming languages that everyone should learn | George Hotz and Lex Fridman 1:01:07 KotlinConf 2017 - My Life as a Tech Transfer Monad by Erik Meijer 51:28 Functional Programming from First Principles • Erik Meijer • GOTO 2012 1:13:04 Expert to Expert: Brian Beckman and Erik Meijer - Inside the .NET Reactive Framework (Rx) 09:19 Functional Programming & Haskell - Computerphile 45:27 The History of Computers, Programming, and Coding Similar videos 12:31 Programming language theory 03:01 What does logic have to do with Java? 01:18 Erik Meijer JAOO 1 1:06:58 Faith, Evolution, and Programming Languages 1:16:28 Programming Language Foundations in Agda - Philip Lee Wadler 07:56 IOHK | Prof. Philip Wadler, area leader, programming languages. 06:48 Programming : languages tutorial (theory) 1 39:34 "A History of Programming Languages for 2 Voices" by David Nolen and Michael Bernstein 1:06:36 The Principles Behind Differentiable Programming | Erik Meijer 56:50 Papers We Love San Diego - Monads for Functional Programming 04:40 Lambda Man 08:49 Computability, Philip Wadler More results