This requires a synthesis of novel and existing features:
marshal
and unmarshal
primitives;
To appear in Journal of Functional Programming. This gives a full discussion of the language design and an overview of the key aspects of the semantics.
This short paper gives an overview of the main design choices.
This contains an extended version of the design discussion in the above, together with an introduction to the semantics, examples illustrating the semantics, and the full language definition.
Tcp_connection_management
and Tcp_string_messaging
,
Local_channel
,
Distributed_channel
, and
Npi
, and the
Ambient implementation, referred to in
the papers.
Peter.Sewell@cl.cam.ac.uk