A delegation-based object calculus with subtyping
DOI10.1007/3-540-60249-6_40OpenAlexW1879619902MaRDI QIDQ5055878FDOQ5055878
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
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
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)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Simple type-theoretic foundations for object-oriented programming
- Title not available (Why is that?)
- An imperative object calculus
- Title not available (Why is that?)
- Title not available (Why is that?)
Cited In (17)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Foundations for extensible objects with roles
- A typed lambda calculus of objects (extended abstract)
- Title not available (Why is that?)
- Delegation by object composition
- Matching for the lambda calculus of objects
- Efficient inference of object types
- A calculus for concurrent objects
- On simulation, subtyping and substitutability in sequential object systems
- Privacy via subsumption
- Taming the merge operator
- On Normalization by Evaluation for Object Calculi
- Title not available (Why is that?)
- Title not available (Why is that?)
- Dynamic object-based inheritance with subtyping
- Semantic types and approximation for Featherweight Java
Uses Software
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)
