"Propositions as Types" by Philip Wadler
Category Theory for the Working Hacker by Philip Wadler
Computability, Philip Wadler
Philip Wadler: Church's Coincidences
Keynote: The Two Cultures of Artifical Intelligence - Philip Wadler | Lambda Days 2024
Prof. Philip Wadler | Interpreters for Free
Keynote: Programming Languages in Agda = Programming (...) - Philip Wadler | Lambda Days 2021
LofTech with Philip Wadler - Why some people use Functional Languages?
Professor Philip Wadler: Functional Programming In Finance
(Programming Languages) in Agda = Programming (Languages in Agda) • Philip Wadler • YOW! 2019
"Categories for the Working Hacker" by Philip Wadler
SICSA PhD Conference 2012 - Keynote: Philip Wadler
IOHK | Prof. Philip Wadler, area leader, programming languages.
Philip Wadler Interview | IOHK PlutusFest 2018
Jane Friedman vs AI - Philip Wadler #artificialintelligence #amazon #ai
Philip Wadler - “(Programming Languages) in Agda = Programming (Languages in Agda)” @ ZuriHac 2020
Philip Wadler - Everything old is new again: Quoted domain specific languages - Curry On
IOHK | Research; Prof. Philip Wadler, Smart Contracts.
PwL Remote #2 - Philip Wadler on Definitional Interpreters for Higher-Order Programming Languages
Lambda Days 2018 - Philip Wadler - Categories for the Working Hacker
