Objects

An Interpretation of Typed Concurrent Objects in the Blue Calculus

We propose an interpretation of a typed concurrent calculus of objects based on the model of Abadi and Cardelli imperative object calculus. The target of our interpretation is a version of the blue calculus, a variant of the …

An Interpretation of Extensible Objects

We provide a translation of Fisher-Honsell-Mitchell's delegation-based object calculus with subtyping into a lambda-calculus with extensible records. The target type system is an extension of the system Fω of dependent types with …

Concurrent Objects in the Blue Calculus

We describe a model of concurrent objects based on the blue calculus, a typed variant of the asynchronous pi-calculus in which the notion of function is directly embedded. We propose a definition for a simple concurrent object-based …

Quiet and Bouncing Objects: Two Migration Abstractions in a Simple Distributed Blue Calculus

In this paper, we study a model of migrating objects based on the blue calculus, extended with a very simple system of localities. We show how two migration behaviors can be defined, namely those of bouncing and quiet objects. These …