Philip Wadler
Sign up for weekly Clojure tips, software design, and a Clojure coding challenge.
Category Theory for the Working Hacker
VideoPresentationThere are multiple recordings:
Church's Coincidences
VideoPresentationAnother recording is available here.
IOHK PlutusFest 2018 | Academic Stream | Philip Wadler - Senior Research Fellow
VideoPresentationThere are multiple recordings
Programming Language Theory and Practice
VideoInterviewA Vimeo version is available here.
Propositions as Types
VideoPresentationThere are multiple recordings