scientific article; zbMATH DE number 1005367

MaRDI QIDQ4335420zbMATH OpenFDO

Authors Giuseppe Castagna

Publication date 29 April 1997

zbMATH Keywords

\(\lambda\&\)-calculus\(\lambda\) -calculusabstract data typeclassearly bindingencapsulationfixed pointinheritanceKOOLlate bindingobjectobject-oriented programmingoverloadingpolymorphismstrong normalisationsubtypetype

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) General topics in the theory of software (68N01)

Recommendations

• scientific article; zbMATH DE number 944097
• Publication:4490732
• A calculus for overloaded functions with subtyping

Cited in

(11)

• Featherweight Java with dynamic and static overloading
• Unifying overloading and \(\lambda\)-abstraction: \(\lambda^{\{\,\}}\)
• Dependent types with subtyping and late-bound overloading
• Modular statically typed multimethods
• scientific article; zbMATH DE number 1931755 (Why is no real title available?)
• scientific article; zbMATH DE number 7168151 (Why is no real title available?)
• Dynamic overloading with copy semantics in object-oriented languages: a formal account
• Metamodeling semantics of multiple inheritance
• Delegation by object composition
• Explicit mathematics: power types and overloading
• A typed lambda calculus of objects (extended abstract)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4335420)