A calculus for overloaded functions with subtyping
- 1 January 1992
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Lisp Pointers
- Vol. V (1), 182-192
- https://doi.org/10.1145/141478.141537
Abstract
No abstract availableThis publication has 12 references indexed in Scilit:
- Coherence of subsumption, minimum typing and type-checking in F ≤Mathematical Structures in Computer Science, 1992
- A static type system for message passingPublished by Association for Computing Machinery (ACM) ,1991
- Operations on recordsMathematical Structures in Computer Science, 1991
- A modest model of records, inheritance, and bounded quantificationInformation and Computation, 1990
- How to make ad-hoc polymorphism less ad hocPublished by Association for Computing Machinery (ACM) ,1989
- A semantics of multiple inheritanceInformation and Computation, 1988
- The Common Lisp Object System: An OverviewPublished by Springer Nature ,1987
- A type-inference approach to reduction properties and semantics of polymorphic expressions (summary)Published by Association for Computing Machinery (ACM) ,1986
- On understanding types, data abstraction, and polymorphismACM Computing Surveys, 1985
- Functional Characters of Solvable TermsMathematical Logic Quarterly, 1981