This is the mail archive of the
guile@sourceware.cygnus.com
mailing list for the Guile project.
Re: call-with-dynamic-root and fluids
> Pointer, please?
I asked Felleisen; he suggested:
> Sitaram, D. and M. Felleisen. Control delimiters and their hierarchies.
> Lisp and Symbolic Computation(1), 1990, 67--100.
>
>It's unfortunately not on the web.
>
>You may also wish to look at Dorai's PLDI'93 paper:
>
> http://www.cs.rice.edu/CS/PLT/Publications/index.shtml
> Sitaram PLDI93
>
>If I recall this correctly, this paper contains the best set of control
>constructs we came up with starting from my early work on prompt and F
>[popl'88].
Gunter et alii provided a typed implementation of this stuff:
Carl A. Gunter, Didier Rémy, and Jon G. Riecke. A generalization of
exceptions and control in ML-like languages. In Simon Peyton Jones,
editor, Conference Record of FPCA '95 SIGPLAN-SIGARCH-WG2.8 Conference
on Functional Programming Languages and Computer Architecture, pages
12-23, La Jolla, California, June 1995. ACM Press. (Postscript or PDF)
[I swear that they wrote an extended version, but it's not on their page.]
See
http://www.cis.upenn.edu/~gunter/publications/node3.html#SECTION00030000000000000000