Inheritance and explicit coercion (1991)

by V Breazu-Tannen, T Coquand, C Gunter, A Scedrov
Venue:Information and Computation