This short version is quite similar to the one that will appear in the proceedings [
pdf].
The long version provides definitions, examples and proofs [
pdf].
Here is the source code of a preliminary implementation of a programming
language with the semantics described in the paper
[
tar.gz]. It consists of the source code of the
compiler (in /src), the runtime (in /lib) and the examples from the paper (in
/exp). It requires make, a recent Ocaml compiler and the graph visualisation
program dot. It has been tested under Linux. In the example directories,
'make' produces an implementation and a continuation-based API that the user
can use.