Inheritance and Explicit Coercion
Val Breazu-Tannen, Thierry Coquand, Carl A. Gunter and Andre Scedrov
IEEE 4th Annual Symposium on Logic in Computer Science (LICS ’89), Pages 112-129, Pacific Grove, CA, June 1989. [BIB]
Last updated on Thursday, June 26, 2014, 12:45 pm