14 Sep
2006
14 Sep
'06
7:46 p.m.
On 9/14/06, Giovanni Piero Deretta <gpderetta@gmail.com> wrote:
Interaction-Safe State for the Web
http://www.cs.brown.edu/~sk/Publications/Papers/Published/mk-int-safe-state-...
just a quote from section 8.2 ========= Another solution to this problem [22 - back button] relies on one-shot continuations [3]. These continuations detect when they are invoked a second time and produce a suitable error. .... However,this strategy cannot be used to implement the shopping cart example without severe transformation of the source program to propagate the called? binding to each code fragment that binds URLs. ========= I'll read the paper in detail so that I understand all the details, which I don't right now regards