Matching for the lambda calculus of objects

DOI10.1016/S0304-3975(98)00137-6MaRDI QIDQ1275623zbMATH OpenFDO

Authors Viviana Bono, Michele Bugliesi

Publication date 12 January 1999

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

zbMATH Keywords

matchingMyType specializationobject calculiobject extension

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Cites work

• scientific article; zbMATH DE number 2185707 (Why is no real title available?)
• scientific article; zbMATH DE number 720178 (Why is no real title available?)
• scientific article; zbMATH DE number 2079015 (Why is no real title available?)
• scientific article; zbMATH DE number 944097 (Why is no real title available?)
• A delegation-based object calculus with subtyping
• A paradigmatic object-oriented programming language: Design, static typing and semantics
• A semantics of multiple inheritance
• An imperative object calculus

Cited in

(5)

• scientific article; zbMATH DE number 2044504 (Why is no real title available?)
• \(F\)-bounded quantification and the matching relation
• scientific article; zbMATH DE number 2185707 (Why is no real title available?)
• Type-safe covariant specialization with generalized matching
• On problems in polymorphic object-oriented languages with self types and matching

Describes a project that uses

Uses Software

• PolyTOIL

This page was built for publication: Matching for the lambda calculus of objects

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