Talks

Cupto

This is joint work with Carl Gunter and Jon Riecke. Mostly done in the period 1995-1998.

Papers and talks

Ocaml Code

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.