This is joint work with Carl Gunter and Jon Riecke.
Mostly done in the period 1995-1998.
Papers and talks
Talk given at University of Paris 7 (PPS)
and University of Luminy (LDP),
Marseilles, 2001 (ps.gz)
The following code assume an extension of Ocaml with callcc. It used a very
naive experimental brute-force version of callcc that copies the stack.