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)
TextBooksA List of Successes that has not yet Changed the World
VideoPresentationBlame and coercion: together again for the first time
TextPDFCategory Theory for the Working Hacker
VideoPresentationChristopher Strachey, First-Class Citizen
VideoPresentationChurch's Coincidences
VideoPresentationComprehending Monads
PDFPaperComputability, Philip Wadler
VideoPresentationDefinitional Interpreters for Higher-Order Programming Languages
VideoPresentationDeforestation: Transforming programs to eliminate trees
PDFPaperEverything Old is New Again: Quoted Domain Specific Languages
VideoPresentationFaith, 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
PDFPaperIOHK PlutusFest 2018 | Academic Stream | Philip Wadler - Senior Research Fellow
VideoPresentationIOHK | Prof. Philip Wadler, area leader, programming languages.
VideoPresentationIOHK | Research; Prof. Philip Wadler, Smart Contracts
VideoPresentationImperative functional programming
PDFPaperIntroduction to Functional Programming
PDFBooksJava Generics and Collections
TextBooksLinks Programming Language
VideoPresentationMaking the future safe for the past: Adding Genericity to the Java Programming Language
PDFPaperMonads for functional programming
PDFPaperPhilip Wadler Interview | IOHK PlutusFest 2018
VideoInterviewPhilip Wadler on Functional Programming
VideoInterviewPhilip Wadler speaks at IOHK Summit Miami - 18 April 2019
VideoPresentationProfessor Philip Wadler on Plutus - Episode 10
VideoInterviewProgramming Language Theory and Practice
VideoInterviewPropositions as Sessions
VideoPresentationPropositions as Types
VideoPresentationQuoted DSLs
VideoPresentationTechnical Perspective: Why didn't I think of that?
TextPDFThe essence of functional programming
PDFPaperThe essence of language-integrated query
VideoPresentationTheorems for free!
PDFPaperWhat does logic have to do with Java?
VideoPresentationWhat is a Monad?
VideoPresentationYOW! 2013 Philip Wadler - The First Monad Tutorial
VideoPresentationYou and Your Research and the Elements of Style
VideoPresentation