A delegation-based object calculus with subtyping

DOI10.1007/3-540-60249-6_40MaRDI QIDQ5055878OpenAlexFDO

Authors Kathleen Fisher, John Mitchell

Publication date 9 December 2022

Published in Fundamentals of Computation Theory (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-60249-6_40

Mathematics Subject Classification ID

Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• Publication:4730749
• Theoretical Computer Science
• scientific article; zbMATH DE number 1361477
• scientific article; zbMATH DE number 1114034
• A sequent calculus for subtyping polymorphic types
• scientific article; zbMATH DE number 1231693
• scientific article; zbMATH DE number 2079015
• Foundations for the implementation of higher-order subtyping
• A calculus of constructions with explicit subtyping

Cites work

• scientific article; zbMATH DE number 3821076 (Why is no real title available?)
• scientific article; zbMATH DE number 3986617 (Why is no real title available?)
• scientific article; zbMATH DE number 108549 (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 1479620 (Why is no real title available?)
• scientific article; zbMATH DE number 1479647 (Why is no real title available?)
• An imperative object calculus
• Simple type-theoretic foundations for object-oriented programming

Cited in

(17)

• A calculus for concurrent objects
• scientific article; zbMATH DE number 720178 (Why is no real title available?)
• Taming the merge operator
• Delegation by object composition
• Dynamic object-based inheritance with subtyping
• scientific article; zbMATH DE number 2185707 (Why is no real title available?)
• scientific article; zbMATH DE number 2079015 (Why is no real title available?)
• Foundations for extensible objects with roles
• scientific article; zbMATH DE number 2060756 (Why is no real title available?)
• On Normalization by Evaluation for Object Calculi
• Semantic types and approximation for Featherweight Java
• Efficient inference of object types
• On simulation, subtyping and substitutability in sequential object systems
• Privacy via subsumption
• scientific article; zbMATH DE number 1390060 (Why is no real title available?)
• A typed lambda calculus of objects (extended abstract)
• Matching for the lambda calculus of objects

Describes a project that uses

Uses Software

• Smalltalk
• Eiffel

This page was built for publication: A delegation-based object calculus with subtyping

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