[TYPES] References from TYPES '94 (& surounding documents)

[François Garillot]

Over the last couple of weeks, I have been trying to get my hands on a
couple of hard-to-find references from Peter Aczel. They're mentioned in
(among others) the bibliography of _Type Algorithm in Type Theory with
Inheritance_, by Amokrane Saibi (POPL 94, doi:10.1145/263699.263742),
and are relevant to the coercion system of the Coq theorem prover:

P. Aczel. _ A notion of class for theory development in algebra (in a
predicative type theory)_. Presented at Workshop for Proofs and
Programs, Bastad, Sweden, June 1994.

P. Aczel. _Simple overloading for type theories_ Privately circulated
notes, 1994

I would be very grateful if any of the denizens of the mailing list
could provide any help as to how I might get a copy of those. My
attempts at finding them online, on the shelves of some of my older
colleagues, or by directly contacting the author have thus far been
unsuccessful.

-- 
François Garillot