Functional Geekery Episode 39 – Philip Wadler
Functional Geekery - Un pódcast de Proctor
Categorías:
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.
