He is a *(person), professor of Theoretical Computer Science, _("School of Informatics"|http://www.inf.ed.ac.uk/), _("University of Edinburgh"|http://www.ed.ac.uk/).

<ul class="links">
<li>_("Philip Wadler's home page"|http://homepages.inf.ed.ac.uk/wadler/)
</ul>
