Type-safe compilation of covariant specialization: A practical case

This publication has 15 references indexed in Scilit:

• A note on covariance and contravariance unification
  ACM SIGPLAN Notices, 1996
• Typechecking and modules for multimethods
  ACM Transactions on Programming Languages and Systems, 1995
• A meta-language for typed object-oriented languages
  Theoretical Computer Science, 1995
• Covariance and contravariance
  ACM Transactions on Programming Languages and Systems, 1995
• A paradigmatic object-oriented programming language: Design, static typing and semantics
  Journal of Functional Programming, 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
  Information and Computation, 1988
• A simple technique for handling multiple polymorphism
  ACM SIGPLAN Notices, 1986
• Object structure in the Emerald system
  ACM SIGPLAN Notices, 1986