Philip Wadler
5 Podcast Episodes
On the paper "The Girard-Reynolds Isomorphism" by Philip Wadler
On the paper "The Girard-Reynolds Isomorphism" by Philip Wadler
I give a brief glimpse at Phil Wadler's important paper "The Girard-Reynolds Isomorphism", which is quite relevant for R... Read more
18 Jan 2021
•
10mins
152: Embracing Mathematics with Philip Wadler
152: Embracing Mathematics with Philip Wadler
02:35 - Philip’s Superpower: Being Not Afraid of Mathematics 04:07 - Programming Language Foundations in Agda Propositio... Read more
16 Oct 2019
•
49mins
Similar People
Andy Hunt
Nadia Odunayo
Jessica Kerr
Simon Thompson
Justin Woo
Tom Stuart
Edwin Brady
Zach Tellman
Jared Forsyth
Bruce Tate
Daniel Friedman
Bartosz Milewski
Niki Vazou
Brian Lonsdorf
Gabriel Gonzalez
Professor Philip Wadler on Plutus and Haskell | TCE 10
Professor Philip Wadler on Plutus and Haskell | TCE 10
Philip Wadler is a Professor of Theoretical Computer Science at the University of Edinburgh and a Senior Research Fellow... Read more
25 Dec 2018
•
1hr
Tech Talk: God's Programming Language - Philip Wadler on Haskell
Tech Talk: God's Programming Language - Philip Wadler on Haskell
Tech Talks are in-depth technical discussions. Today I talk to Professor Philip Wadler, a very accomplished programming ... Read more
22 Oct 2018
•
1hr
Most Popular
Elon Musk
Barack Obama
Bill Gates
LeBron James
Mark Cuban
Michelle Obama
Melinda Gates
Arnold Schwarzenegger
Kevin Hart
Terry Crews
Mike Tyson
Functional Geekery Episode 39 - Philip Wadler
Functional Geekery Episode 39 - Philip Wadler
In this episode I talk with Professor Philip Wadler. We talk the correspondence between mathematics and computation, hi... Read more
15 Dec 2015
•
30mins
