Tannen, ValGunter, Carl AScedrov, Andre2023-05-222023-05-221989-11-012008-01-28https://repository.upenn.edu/handle/20.500.14332/7818Inheritance 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.Report