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 …

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 …

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 …

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 …

Powered by the Academic theme for Hugo.