The on-line proceedings of the following workshop held at Durham, UK
TYPES Working Group Workshop on
Subtyping, inheritance and modular development of proofs
is now available at the following home page (the original home page
for the workshop):
http://www.dur.ac.uk/~dcs3apj/cs-types/
>From the same page you can also obtain the addresses of the attendees,
abstracts of the talks, and other relevant details of the workshop.
Alex Jones, Zhaohui Luo, Sergei Soloviev
(Local organisers)