Functional Geekery

Functional Geekery


Functional Geekery Episode 39 – Philip Wadler

December 15, 2015

In this episode I talk with Professor Philip Wadler. We talk the correspondence between mathematics and computation, his research into concurrent distributed systems, and other research in the area with ABCD and BETTY.