Inheritance as implicit coercion (1991)

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