Inheritance as Implicit Coercion
Val Breazu-Tannen, Thierry Coquand, Carl A. Gunter and Andre Scedrov
Information and Computation, volume 93, number 1, pages 172-221, July 1991. Invited paper from LICS ’89.
Last updated on Thursday, June 26, 2014, 12:46 pm