A Calculus for Overloaded Functions with Subtyping

• 1 February 1995
• journal article
• Published by Elsevier in Information and Computation
• Vol. 117  (1) , 115-135
• https://doi.org/10.1006/inco.1995.1033

Abstract

Keywords

• FUNCTIONS
• ARGUMENT
• ORIENTED
• EXTENSION
• CALCULUS
• SUBTYPING
• OVERLOADING
• LAMBDA
• BRANCH
• STRESSED