Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Talks

Cupto

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

Papers and talks

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)

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.

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]