Philip Wadler
Sign up for weekly Clojure tips, software design, and a Clojure coding challenge.
From OO to Clojure Workshop!
Watch my free workshop to help you learn Clojure faster and shift your paradigm to functional.
A List of Successes That Can Change the World: Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday (Lecture Notes in Computer Science)
TextBooks
A List of Successes that has not yet Changed the World
VideoPresentationBlame and coercion: together again for the first time
TextPDF
Category Theory for the Working Hacker
VideoPresentationChristopher Strachey, First-Class Citizen
VideoPresentation
Church's Coincidences
VideoPresentationComprehending Monads
PDFPaper
Computability, Philip Wadler
VideoPresentation
Definitional Interpreters for Higher-Order Programming Languages
VideoPresentationDeforestation: Transforming programs to eliminate trees
PDFPaper
Everything Old is New Again: Quoted Domain Specific Languages
VideoPresentation
Faith, Evolution, and Programming Languages: from Haskell to Java
VideoPresentationFeatherweight Java: A Minimal Core Calculus for Java and GJ
PDFPaperGod’s Programming Language With Philip Wadler
AudioInterviewHow to Make Ad-Hoc Polymorphism Less Ad Hoc
PDFPaper
IOHK PlutusFest 2018 | Academic Stream | Philip Wadler - Senior Research Fellow
VideoPresentation
IOHK | Prof. Philip Wadler, area leader, programming languages.
VideoPresentation
IOHK | Research; Prof. Philip Wadler, Smart Contracts
VideoPresentationImperative functional programming
PDFPaperIntroduction to Functional Programming
PDFBooks
Java Generics and Collections
TextBooksLinks Programming Language
VideoPresentationMaking the future safe for the past: Adding Genericity to the Java Programming Language
PDFPaperMonads for functional programming
PDFPaper
Philip Wadler Interview | IOHK PlutusFest 2018
VideoInterview
Philip Wadler on Functional Programming
VideoInterview
Philip Wadler speaks at IOHK Summit Miami - 18 April 2019
VideoPresentation
Professor Philip Wadler on Plutus - Episode 10
VideoInterview
Programming Language Theory and Practice
VideoInterview
Propositions as Sessions
VideoPresentation
Propositions as Types
VideoPresentation
Quoted DSLs
VideoPresentationTechnical Perspective: Why didn't I think of that?
TextPDFThe essence of functional programming
PDFPaper
The essence of language-integrated query
VideoPresentationTheorems for free!
PDFPaper
What does logic have to do with Java?
VideoPresentationWhat is a Monad?
VideoPresentation
YOW! 2013 Philip Wadler - The First Monad Tutorial
VideoPresentation
You and Your Research and the Elements of Style
VideoPresentation