Philip Wadler

He is a person, professor of Theoretical Computer Science, School of Informatics, University of Edinburgh.


This page is linked from: Continuation-Passing Style   Haskell   Linear Logic   Linearity 101   Monads 101