Technical Reports (CIS)
Document Type
Technical Report
Date of this Version
November 1989
Abstract
Inheritance in the form of subtyping is considered in the framework of a polymorphic type discipline with records, variants, and recursive types. We give a denotational semantics based on the paradigm that interprets subtyping as explicit coercion. The main technical result gives a coherent interpretation for a strong rule for deriving inheritances between recursive types.
Recommended Citation
Val Tannen, Carl A. Gunter, and Andre Scedrov, "Denotational Semantics for Subtyping Between Recursive Types", . November 1989.
Date Posted: 28 January 2008
Comments
University of Pennsylvania Department of Computer and Information Science Technical Report No. MS-CIS-89-63.