LofTech with Philip Wadler - Why some people use Functional Languages?
Prof. Philip Wadler | Interpreters for Free
[LFCS30] Philip Wadler: A Few of LFCS's Greatest Hits
Philip Wadler: Church's Coincidences
IOHK | Prof. Philip Wadler, area leader, programming languages.
Keynote: Propositions as Types - Philip Wadler
Professor Philip Wadler: Functional Programming In Finance
ICFP 2012. Philip Wadler: Propositions as Sessions.
Philip Wadler gives a guest lecture Propositions-as-types. 2021 03 26
Philip Wadler - Update on PLFA
Charles Hoskinson on Vint Cerf and Philip Wadler
Professor Philip Wadler on Plutus and Haskell | TCE 10
What does logic have to do with Java?
13. SFI / Propositions as Types / Philip Wadler
Philip Wadler Everything old is new again: Quoted domain specific languages Curry On
BUZZCONF BA 2019 - Phil Wadler: Quoted Domain Specific Languages
[Wadlerfest 2016] Philip Wadler: A List of Successes that has not yet Changed the World
Interview with Philip Wadler in Lambda World 2016
[PurPL Fest] (Programming Languages) in Agda = Programming (Languages in Agda) - Philip Wadler
Explaining "theorems for free" and parametricity, for practicing programmers. With code in Scala
![[LFCS30] Philip Wadler: A Few of LFCS's Greatest Hits](https://img.youtube.com/vi/PcGZJTS8i5U/0.jpg)
![[Wadlerfest 2016] Philip Wadler: A List of Successes that has not yet Changed the World](https://img.youtube.com/vi/7JXvOJm90o0/0.jpg)
![[PurPL Fest] (Programming Languages) in Agda = Programming (Languages in Agda) - Philip Wadler](https://img.youtube.com/vi/eKGbbKwdKb0/0.jpg)
