Philip Wadler

• 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)

  Text

• A List of Successes that has not yet Changed the World

  Video

• Blame and coercion: together again for the first time

  Text

• Category Theory for the Working Hacker

  Video

  There are multiple recordings:

  Joy of Code Lambda Days 2018 Lambda World 2016

• Christopher Strachey, First-Class Citizen

  Video

• Church's Coincidences

  Video

  Another recording is available here.

• Comprehending Monads

  PDF

• Computability, Philip Wadler

  Video

• Definitional Interpreters for Higher-Order Programming Languages

  Video

• Deforestation: Transforming programs to eliminate trees

  PDF

• Everything Old is New Again: Quoted Domain Specific Languages

  Video

• Faith, Evolution, and Programming Languages: from Haskell to Java

  Video

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

  PDF

• God’s Programming Language With Philip Wadler

  Audio

• How to Make Ad-Hoc Polymorphism Less Ad Hoc

  PDF

• Imperative functional programming

  PDF

• Introduction to Functional Programming

  PDF

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

  Video

  There are multiple recordings

  IOHK PlutusFest

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

  Video

• IOHK | Research; Prof. Philip Wadler, Smart Contracts

  Video

• Java Generics and Collections

  Text

• Links Programming Language

  Video

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

  PDF

• Monads for functional programming

  PDF

• Philip Wadler Interview | IOHK PlutusFest 2018

  Video

• Philip Wadler on Functional Programming

  Video

• Philip Wadler speaks at IOHK Summit Miami - 18 April 2019

  Video

• Professor Philip Wadler on Plutus - Episode 10

  Video

• Programming Language Theory and Practice

  Video

  A Vimeo version is available here.

• Propositions as Sessions

  Video

• Propositions as Types

  Video

  There are multiple recordings

  Strange Loop 2015

• Quoted DSLs

  Video

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

  Text

• The essence of functional programming

  PDF

• The essence of language-integrated query

  Video

• Theorems for free!

  PDF

• What does logic have to do with Java?

  Video

• What is a Monad?

  Video

• You and Your Research and the Elements of Style

  Video

• YOW! 2013 Philip Wadler - The First Monad Tutorial

  Video