An Extension of System F with Subtyping

• 1 February 1994
• journal article
• Published by Elsevier in Information and Computation
• Vol. 109  (1-2) , 4-56
• https://doi.org/10.1006/inco.1994.1013

Abstract

Keywords

• MODELS
• SUBTYPING
• POLYMORPHIC
• TYPED
• PARAMETRIC
• CATEGORICAL
• HIERARCHIES
• THEORETICAL
• NOTION
• JUDGMENTS