Modular Statically Typed Multimethods

This publication has 22 references indexed in Scilit:

• Object-oriented multi-methods in Cecil
  Published by Springer Nature ,2006
• Parasitic methods
  ACM SIGPLAN Notices, 1997
• Using C++ templates to implement role-based designs
  Published by Springer Nature ,1996
• Typechecking and modules for multimethods
  ACM Transactions on Programming Languages and Systems, 1995
• Covariance and contravariance
  ACM Transactions on Programming Languages and Systems, 1995
• A Syntactic Approach to Type Soundness
  Information and Computation, 1994
• Static type checking of multi-methods
  ACM SIGPLAN Notices, 1991
• Object-oriented programming versus abstract data types
  Published by Springer Nature ,1991
• A semantics of multiple inheritance
  Lecture Notes in Computer Science, 1984
• Using category theory to design implicit conversions and generic operators
  Published by Springer Nature ,1980