• Inheritance and explicit coerc...

*Result*: Inheritance and explicit coercion

Title:
Inheritance and explicit coercion
Authors:
Breazu-Tannen, V., Coquand, T., Gunter, C.A., Scedrov, A.
Source:
[1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science Logic in Computer Science, 1989. LICS '89, Proceedings., Fourth Annual Symposium on. :112-129 1989
Relation:
Proceedings. Fourth Annual Symposium on Logic in Computer Science
Database:
IEEE Xplore Digital Library