A meta-language for typed object-oriented languages

DOI10.1016/0304-3975(95)00071-4zbMath0871.68030OpenAlexW1971740571MaRDI QIDQ1350339

Giuseppe Castagna

Publication date: 27 February 1997

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0304-3975(95)00071-4

Mathematics Subject Classification ID

Theory of programming languages (68N15) Logic in computer science (03B70) Combinatory logic and lambda calculus (03B40)

Related Items

Dynamic overloading with copy semantics in object-oriented languages: a formal account, Integration of parametric and ``ad hoc second order polymorphism in a calculus with subtyping, On flexible dynamic trait replacement for Java-like languages, A CuCh Interpretation of an Object-Oriented Language1 1Partially supported by MURST Cofin '99 TOSCA., Featherweight Java with dynamic and static overloading

Uses Software

• Smalltalk
• CLOS
• Eiffel

Cites Work

• The lambda calculus. Its syntax and semantics. Rev. ed.
• A semantics of multiple inheritance
• Call-by-name, call-by-value and the \(\lambda\)-calculus
• A calculus for overloaded functions with subtyping
• Coherence of subsumption, minimum typing and type-checking in F ≤
• A paradigmatic object-oriented programming language: Design, static typing and semantics
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item