This is the mail archive of the guile@sourceware.cygnus.com mailing list for the Guile project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]

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

Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]