Positive Subtyping

• 1 April 1996
• journal article
• Published by Elsevier in Information and Computation
• Vol. 126  (1) , 11-33
• https://doi.org/10.1006/inco.1996.0031

Abstract

Keywords

• BEHAVIOR
• MODEL
• COERCION
• CALCULUS
• FUNCTION OF TYPE
• POSITIVE SUBTYPING
• ELEMENT OFS