Philip Wadler
Programmer Media

Filter

Media types

Resource types

Topics

Propositions as Types

There are multiple recordings

Strange Loop 2015

Programming Language Theory and Practice

A Vimeo version is available here.

Church's Coincidences

Another recording is available here.

Propositions as Sessions

Quoted DSLs

What is a Monad?

Links Programming Language

Computability, Philip Wadler

Comprehending Monads

Theorems for free!