Functional Geekery Episode 39 – Philip Wadler
Functional Geekery - A podcast by Proctor
Categorie:
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.
