Functional Geekery Episode 39 – Philip Wadler
Functional Geekery - En podcast av Proctor
Kategorier:
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.
