scientific article; zbMATH DE number 1005367

zbMath0871.68024MaRDI QIDQ4335420

Giuseppe Castagna

Publication date: 29 April 1997

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

classfixed pointencapsulationinheritancepolymorphismtypeobject-oriented programmingstrong normalisationobjectoverloadinglate bindingabstract data type\(\lambda\&\)-calculussubtypeearly binding\(\lambda\) -calculusKOOL

Mathematics Subject Classification ID

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

Related Items (9)

Unnamed Item ⋮ Dynamic overloading with copy semantics in object-oriented languages: a formal account ⋮ Unifying overloading and \(\lambda\)-abstraction: \(\lambda^{\{\,\}}\) ⋮ Metamodeling semantics of multiple inheritance ⋮ Delegation by object composition ⋮ Explicit mathematics: power types and overloading ⋮ Featherweight Java with dynamic and static overloading ⋮ Dependent types with subtyping and late-bound overloading ⋮ Modular statically typed multimethods

This page was built for publication: