Interpretations of extensible objects and types

DOI10.1007/3-540-48321-7_8MaRDI QIDQ4934322zbMATH OpenFDO

Authors Viviana Bono, Michele Bugliesi

Publication date 17 January 2000

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-48321-7_8

zbMATH Keywords

\(\lambda\)-calculus

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Functional programming and lambda calculus (68N18)

Recommendations

• Typed interpretations of extensible objects
• An interpretation of extensible objects
• scientific article; zbMATH DE number 814798
• scientific article; zbMATH DE number 2060756
• Encoding FIX in Object Calculi

Cited in

(14)

• Comparing object encodings.
• Types for flexible objects
• Extensible encoding of type hierarchies
• Mutually generic classes and incompatible expansions
• Type extension and refinement
• scientific article; zbMATH DE number 2060756 (Why is no real title available?)
• Encoding FIX in Object Calculi
• scientific article; zbMATH DE number 1759485 (Why is no real title available?)
• scientific article; zbMATH DE number 814798 (Why is no real title available?)
• A CuCh interpretation of an object-oriented language
• An interpretation of extensible objects
• Bounded polymorphism for extensible objects
• Typed interpretations of extensible objects
• Extensible objects: A tutorial

This page was built for publication: Interpretations of extensible objects and types

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