Modular Statically Typed Multimethods
- 19 November 1999
- book chapter
- Published by Springer Nature
- p. 279-303
- https://doi.org/10.1007/3-540-48743-3_13
Abstract
No abstract availableKeywords
This publication has 24 references indexed in Scilit:
- Object-oriented multi-methods in CecilPublished by Springer Nature ,2006
- Parasitic methodsPublished by Association for Computing Machinery (ACM) ,1997
- Type checking higher-order polymorphic multi-methodsPublished by Association for Computing Machinery (ACM) ,1997
- A Theory of ObjectsPublished by Springer Nature ,1996
- Typechecking and modules for multimethodsACM Transactions on Programming Languages and Systems, 1995
- Covariance and contravarianceACM Transactions on Programming Languages and Systems, 1995
- A calculus for overloaded functions with subtypingPublished by Association for Computing Machinery (ACM) ,1992
- Mixin-based inheritancePublished by Association for Computing Machinery (ACM) ,1990
- F-bounded polymorphism for object-oriented programmingPublished by Association for Computing Machinery (ACM) ,1989
- A semantics of multiple inheritanceLecture Notes in Computer Science, 1984