Technical Reports (CIS)

Document Type

Technical Report

Date of this Version

November 1989


University of Pennsylvania Department of Computer and Information Science Technical Report No. MS-CIS-89-63.


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.



Date Posted: 28 January 2008