Inheritance and explicit coercion, in (1989)

by V Breazu-Tannen, T Coquand, C Gunter, A Scedrov
Venue:Proc. 4th LICS Symp. (IEEE Computer Sot