"Propositions as Types" by Philip Wadler
Category Theory for the Working Hacker by Philip Wadler
"Categories for the Working Hacker" by Philip Wadler
Computability, Philip Wadler
Philip Wadler: Church's Coincidences
Professor Philip Wadler: Functional Programming In Finance
Prof. Philip Wadler | Interpreters for Free
Keynote: The Two Cultures of Artifical Intelligence - Philip Wadler | Lambda Days 2024
LofTech with Philip Wadler - Why some people use Functional Languages?
Keynote: Programming Languages in Agda = Programming (...) - Philip Wadler | Lambda Days 2021
What does logic have to do with Java?
SICSA PhD Conference 2012 - Keynote: Philip Wadler
IOHK | Prof. Philip Wadler, area leader, programming languages.
Philip Wadler Interview | IOHK PlutusFest 2018
(Programming Languages) in Agda = Programming (Languages in Agda) • Philip Wadler • YOW! 2019
IOHK | Research; Prof. Philip Wadler, Smart Contracts.
Lambda Days 2018 - Philip Wadler - Categories for the Working Hacker
Philip Wadler - “(Programming Languages) in Agda = Programming (Languages in Agda)” @ ZuriHac 2020
ICCSW14 Keynote Philip Wadler
Professor Philip Wadler on Plutus and Haskell | TCE 10
