scientific article; zbMATH DE number 512775

MaRDI QIDQ4281468zbMATH OpenFDO

Authors Giuseppe Castagna, G. Ghelli, Giuseppe Longo

Publication date 19 October 1994

zbMATH Keywords

\(\lambda\)-calculusearly bindingfunctional expressivenessfunctional programming languageobject oriented programmingoverloadingsemantics

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Theory of programming languages (68N15) Semantics in the theory of computing (68Q55)

Recommendations

• A semantics for \(\lambda_{str}^{\{\,\}}\): A calculus with overloading and late-binding
• Unifying overloading and \(\lambda\)-abstraction: \(\lambda^{\{\,\}}\)
• A calculus for overloaded functions with subtyping
• Publication:4490732

Cited in

(11)

• A meta-language for typed object-oriented languages
• Unifying overloading and \(\lambda\)-abstraction: \(\lambda^{\{\,\}}\)
• Basic theory of F-bounded quantification.
• Dependent types with subtyping and late-bound overloading
• Foundations for extensible objects with roles
• A calculus for overloaded functions with subtyping
• Integration of parametric and ``ad hoc second order polymorphism in a calculus with subtyping
• A semantics for \(\lambda_{str}^{\{\,\}}\): A calculus with overloading and late-binding
• A computationally adequate model for overloading via domain-valued functors
• scientific article; zbMATH DE number 1479619 (Why is no real title available?)
• Dynamic overloading with copy semantics in object-oriented languages: a formal account

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 Q4281468)