Publication:4335420
From MaRDI portal
zbMath0871.68024MaRDI QIDQ4335420
Publication date: 29 April 1997
class; fixed point; encapsulation; inheritance; polymorphism; type; object-oriented programming; strong normalisation; object; overloading; late binding; abstract data type; \(\lambda\&\)-calculus; subtype; early binding; \(\lambda\) -calculus; KOOL
68-01: Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science
68N01: General topics in the theory of software
Related Items
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, 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