(Programming Languages) in Agda = Programming (Languages in Agda) • Philip Wadler • YOW! 2019
Computability, Philip Wadler
"Propositions as Types" by Philip Wadler
IOHK | Prof. Philip Wadler, area leader, programming languages.
"Everything Old is New Again: Quoted Domain Specific Languages" by Philip Wadler
Philip Wadler Interview | IOHK PlutusFest 2018
"Categories for the Working Hacker" by Philip Wadler
Philip Wadler: Church's Coincidences
Prof. Philip Wadler | Interpreters for Free
Keynote: Programming Languages in Agda = Programming (...) - Philip Wadler | Lambda Days 2021
Keynote: Propositions as Types - Philip Wadler
Category Theory for the Working Hacker by Philip Wadler
Professor Philip Wadler on Plutus and Haskell | TCE 10
IOHK | Research; Prof. Philip Wadler, Smart Contracts.
LofTech with Philip Wadler - Why some people use Functional Languages?
Cardano's Einstein! IOG's Philip Wadler Joins Royal Society
Professor Philip Wadler: Functional Programming In Finance
Lambda Days 2018 - Philip Wadler - Categories for the Working Hacker
Advanced Topics in Programming Languages Series:...
IOHK PlutusFest Welcome Address | Philip Wadler - Senior Research Fellow