Pages that link to "Item:Q5055878"
From MaRDI portal
The following pages link to A delegation-based object calculus with subtyping (Q5055878):
Displaying 12 items.
- Semantic types and approximation for Featherweight Java (Q387991) (← links)
- Delegation by object composition (Q553899) (← links)
- Matching for the lambda calculus of objects (Q1275623) (← links)
- Privacy via subsumption (Q1854493) (← links)
- Foundations for extensible objects with roles (Q1854532) (← links)
- On simulation, subtyping and substitutability in sequential object systems (Q1906038) (← links)
- Efficient inference of object types (Q1908346) (← links)
- Dynamic object-based inheritance with subtyping (Q2709266) (← links)
- On Normalization by Evaluation for Object Calculi (Q3499758) (← links)
- Taming the Merge Operator (Q5020905) (← links)
- A calculus for concurrent objects (Q6162111) (← links)
- A typed lambda calculus of objects (extended abstract) (Q6560358) (← links)