Inheritance as implicit coercion

Val Breazu-Tannen, Thierry Coquand, Carl A. Gunter, Andre Scedrov
1991 Information and Computation  
doi:10.1016/0890-5401(91)90055-7 fatcat:qlzvfdnfpfhgxggyfkdbpxorta