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.

Email address

Sign up

• 

  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

  VideoPresentation
• Blame and coercion: together again for the first time

  TextPDF
• 

  Category Theory for the Working Hacker

  VideoPresentation

  There are multiple recordings:

  Joy of Code Lambda Days 2018 Lambda World 2016

• Christopher Strachey, First-Class Citizen

  VideoPresentation
• 

  Church's Coincidences

  VideoPresentation

  Another recording is available here.

• Comprehending Monads

  PDFPaper
• 

  Computability, Philip Wadler

  VideoPresentation
• 

  Definitional Interpreters for Higher-Order Programming Languages

  VideoPresentation
• Deforestation: 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

  VideoPresentation
• Featherweight Java: A Minimal Core Calculus for Java and GJ

  PDFPaper
• God’s Programming Language With Philip Wadler

  AudioInterview
• How to Make Ad-Hoc Polymorphism Less Ad Hoc

  PDFPaper
• 

  IOHK PlutusFest 2018 | Academic Stream | Philip Wadler - Senior Research Fellow

  VideoPresentation

  There are multiple recordings

  IOHK PlutusFest

• 

  IOHK | Prof. Philip Wadler, area leader, programming languages.

  VideoPresentation
• 

  IOHK | Research; Prof. Philip Wadler, Smart Contracts

  VideoPresentation
• Imperative functional programming

  PDFPaper
• Introduction to Functional Programming

  PDFBooks
• 

  Java Generics and Collections

  TextBooks
• Links Programming Language

  VideoPresentation
• Making the future safe for the past: Adding Genericity to the Java Programming Language

  PDFPaper
• Monads 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

  A Vimeo version is available here.

• 

  Propositions as Sessions

  VideoPresentation
• 

  Propositions as Types

  VideoPresentation

  There are multiple recordings

  Strange Loop 2015

• 

  Quoted DSLs

  VideoPresentation
• Technical Perspective: Why didn't I think of that?

  TextPDF
• The essence of functional programming

  PDFPaper
• 

  The essence of language-integrated query

  VideoPresentation
• Theorems for free!

  PDFPaper
• 

  What does logic have to do with Java?

  VideoPresentation
• What is a Monad?

  VideoPresentation
• 

  YOW! 2013 Philip Wadler - The First Monad Tutorial

  VideoPresentation
• 

  You and Your Research and the Elements of Style

  VideoPresentation