D. R'emy. Programming Objects with ML-ART, an extension to ML with Abstract and Record types. In Theoretical Aspects of Computer Software. SpringerVerlag, April 1994. Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
An Interpretation of Objects and Object Types - Abadi, Cardelli, Viswanathan (1996) (20 citations) (Correct)
....can solve the problems of the selfapplication semantics with judicious side effects; its main limitation is that it does not model the cloning construct of object based imperative languages. Finally, some interpretations give up on subtyping altogether, and reduce it to coercion functions [AC94a, R em94] the coercion functions are cumbersome, destroy the flavor of the original programs, and preclude an explanation of object subtyping in terms of more primitive subtyping relations. At this point, a possible conclusion is that it is easy to understand the computational behavior of objects, but ....
D. R'emy. Programming Objects with ML-ART, an extension to ML with Abstract and Record types. In Theoretical Aspects of Computer Software. SpringerVerlag, April 1994.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC