An interpretation of extensible objects

DOI10.1007/3-540-48321-7_11MaRDI QIDQ4934325zbMATH OpenFDO

Authors Gérard Boudol, Silvano Dal Zilio

Publication date 1999

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_11

zbMATH Keywords

\(\lambda\)-calculus

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Functional programming and lambda calculus (68N18) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• Interpretations of extensible objects and types
• scientific article; zbMATH DE number 814798
• Typed interpretations of extensible objects
• scientific article; zbMATH DE number 2079015
• A delegation-based object calculus with subtyping

Cited in

(8)

• scientific article; zbMATH DE number 1002576 (Why is no real title available?)
• scientific article; zbMATH DE number 2079015 (Why is no real title available?)
• scientific article; zbMATH DE number 814798 (Why is no real title available?)
• Interpretations of extensible objects and types
• The External Interface for Extending WASP
• Objects and subtyping in the \(\lambda\)-\(\Pi\)-calculus modulo
• scientific article; zbMATH DE number 5036161 (Why is no real title available?)
• Typed interpretations of extensible objects

This page was built for publication: An interpretation of extensible objects

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