A *(person) who researches _(object-oriented) systems and their _(type system)s, as well as general _(programming language) issues.

<ul class="links">
<li>His _(home page| http://www.luca.demon.co.uk/), with many excellent papers.
</ul>
