Podcast Clojure Courses Book

Philip Wadler

Eric Normand's Newsletter

Software design, functional programming, and software engineering practices

Over 5,000 subscribers

Search all

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

Footer

Newsletter Clojure Guides Podcast Essays Speaking About

Privacy Policy · Terms of Service
© 2024 Eric Normand. All rights reserved.