Inheritance and Explicit Coercion (Preliminary Report)

Val Tannen, Thierry Coquand, Carl A. Gunter, Andre Scedrov

Browse the full LICS paper archive.