Talks

Cupto

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

Conference paper (FPCA 95)
Extended version (ps.gz, dvi.gz)
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.

Extensible data-type (code : interface)
Encoding Cupto with callcc (code : interface) [test]
Encoding callcc with cupto (code : interface) [test]
Encoding shift/reset with cupto (code : interface) [test]
Encoding exceptions with cupto (code : interface) [test]
Encoding references with cupto (code : interface) [test]
Encoding local references with cupto (code : interface) [test]
Multiple Cuptos (encoding multiple cupto with a single cupto...) (code : interface) [test]
Hierachical shift-reset (encoded with cupto) (code : interface) [test]