The following pages link to An imperative object calculus (Q5096750):
Displaying 18 items.
- Imperative objects as mobile processes (Q701046) (← links)
- An operational semantics for object-oriented concepts based on the class hierarchy (Q736789) (← links)
- An imperative pure calculus (Q737089) (← links)
- An interpretation of typed objects into typed \(\pi\)-calculus (Q1271311) (← links)
- Matching for the lambda calculus of objects (Q1275623) (← links)
- Calculus of task-constructive objects and their interpretations: II (Q1387028) (← links)
- Object type constructors (Q1608944) (← links)
- Flexible recovery of uniqueness and immutability (Q1731519) (← links)
- Modular statically typed multimethods (Q1854533) (← links)
- A theory of primitive objects: Untyped and first-order systems (Q1917083) (← links)
- On flexible dynamic trait replacement for Java-like languages (Q2442955) (← links)
- The polymorphic imperative: a generic approach to in-place update (Q2845526) (← links)
- Difunctorial semantics of object calculus (Q2848697) (← links)
- Idealized coinductive type systems for imperative object-oriented programs (Q3006157) (← links)
- A Step-indexed Semantics of Imperative Objects (Q3401137) (← links)
- An imperative type hierarchy with partial products (Q3975167) (← links)
- A delegation-based object calculus with subtyping (Q5055878) (← links)
- A calculus for concurrent objects (Q6162111) (← links)
