Philip Wadler's home page

https://homepages.inf.ed.ac.uk/wadler/

Dobbs, December 2000. Publications and Talks Recent papers Agda Links Plutus and IOHK Blame and contracts Call-by-value is dual to call-by-name XML GJ, Pizza, and Java Go Erlang M

That's everything I could find.
Help make me smarter by submitting a page.