The following pages link to (Q4322072):
Displaying 14 items.
- Semantic types and approximation for Featherweight Java (Q387991) (← links)
- Delegation by object composition (Q553899) (← links)
- Extending FeatherTrait Java with interfaces (Q930885) (← links)
- Matching for the lambda calculus of objects (Q1275623) (← links)
- Typed operational semantics for higher-order subtyping. (Q1401950) (← links)
- Privacy via subsumption (Q1854493) (← links)
- Foundations for extensible objects with roles (Q1854532) (← links)
- Reasoning about object-based calculi in (co)inductive type theory and the theory of contexts (Q2642466) (← links)
- Approximation Semantics and Expressive Predicate Assignment for Object-Oriented Programming (Q3007669) (← links)
- (Q4849246) (← links)
- A CuCh Interpretation of an Object-Oriented Language1 1Partially supported by MURST Cofin '99 TOSCA. (Q4916176) (← links)
- A delegation-based object calculus with subtyping (Q5055878) (← links)
- An imperative object calculus (Q5096750) (← links)
- A typed lambda calculus of objects (extended abstract) (Q6560358) (← links)