Common LISP: the language (2nd ed.)
Common LISP: the language (2nd ed.)
A behavioral notion of subtyping
ACM Transactions on Programming Languages and Systems (TOPLAS)
Covariance and contravariance: conflict without a cause
ACM Transactions on Programming Languages and Systems (TOPLAS)
Typechecking and modules for multimethods
ACM Transactions on Programming Languages and Systems (TOPLAS)
Theory and Practice of Object Systems - Special issue: type systems
Object-oriented software construction (2nd ed.)
Object-oriented software construction (2nd ed.)
Multiple dispatch as dispatch on Tuples
Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Object-Oriented Multi-Methods in Cecil
ECOOP '92 Proceedings of the European Conference on Object-Oriented Programming
A New Definition of the Subtype Relation
ECOOP '93 Proceedings of the 7th European Conference on Object-Oriented Programming
Reasoning About Polymorphic Behavior
TOOLS '98 Proceedings of the Technology of Object-Oriented Languages and Systems
| Hi-index | 0.00 |
Multimethods can provide considerable flexibility to the OO designer. Our goal in this paper is to address issues related to reasoning about the behavior of multimethods. Specifically we show that the important notion of behavioral subtyping can be naturally extended to multimethods. We also investigate how, when reasoning about code that invokes multimethods, we can appeal to the enriched behavior provided by the specialized methods.