Philip Wadler
Keynote 57:00

Propositions as Types

'Alternative recording: https://www.youtube.com/watch?v=IOiZatlZtGU'

Watch on YouTube