LofTech with Philip Wadler - Why some people use Functional Languages?
Prof. Philip Wadler | Interpreters for Free
Philip Wadler: Church's Coincidences
[LFCS30] Philip Wadler: A Few of LFCS's Greatest Hits
IOHK | Prof. Philip Wadler, area leader, programming languages.
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
13. SFI / Propositions as Types / Philip Wadler
Charles Hoskinson on Vint Cerf and Philip Wadler
Professor Philip Wadler on Plutus and Haskell | TCE 10
BUZZCONF BA 2019 - Phil Wadler: Quoted Domain Specific Languages
Philip Wadler Everything old is new again: Quoted domain specific languages Curry On
[Wadlerfest 2016] Philip Wadler: A List of Successes that has not yet Changed the World
[PurPL Fest] (Programming Languages) in Agda = Programming (Languages in Agda) - Philip Wadler
Interview with Philip Wadler in Lambda World 2016
What does logic have to do with Java?
Explaining "theorems for free" and parametricity, for practicing programmers. With code in Scala
Featherweight Go
![[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)
