@inproceedings{ea08d6afa33148b1a718a2e0d2cf457d,
title = "Computing with coercions",
abstract = "This paper relates two views of the operational semantics of a language with multiple inheritance. It is shown that the introduction of explicit coercions as an interpretation for the implicit coercion of inheritance does not affect the evaluation of a program in an essential way. The result is proved by semantic means using a denotational model and a computational adequacy result to relate the operational and denotational semantics.",
author = "V. Breazu-Tannen and Gunter, \{C. A.\} and A. Scedrov",
year = "1990",
doi = "10.1145/91556.91590",
language = "English (US)",
isbn = "089791368X",
series = "Proc 1990 ACM Conf LISP Funct Program",
publisher = "Publ by ACM",
pages = "44--60",
booktitle = "Proc 1990 ACM Conf LISP Funct Program",
note = "Proceedings of the 1990 ACM Conference on LISP and Functional Programming ; Conference date: 27-06-1990 Through 29-06-1990",
}