Conor McBride
I've gone, and this page is going. My stuff is gradually reappearing in
Durham
.
OLEG slides
slides about
structurally recursive first-order unification
slides about
rumours
about programs
explore the virtual Edinburgh, starting in
Waverley station
Here is the alta vista query form which is most likely to be used by you if you happen to be me:
Search
the Web
Usenet
and Display the Results
in Standard Form
in Compact Form
in Detailed Form
Conor McBride <ctm@dcs.ed.ac.uk>