Dynamic overloading with copy semantics in object-oriented languages: a formal account

Mainstream object-oriented languages often fail to provide complete powerful features altogether, such as, multiple inheritance, dynamic overloading and copy semantics of inheritance. In this paper we present a core object-oriented imperative language that integrates all these features in a formal framework. We de. ne a static type system and a translation of the language into the meta-language lambda_object, in order to account for semantic issues and prove type safety of our proposal.