I watched your talk and it was very interesting. I'm somewhat confused by the notation for scoped continuations though. Is there a reference you can point me

I watched your talk and it was very interesting. I'm somewhat confused by the notation for scoped continuations though. Is there a reference you can point me to? In particular, if I have ^x { ... cont c ... } c() { ... pause(^x = foo) ... } then when 'pause' is run control flow jumps back to the cont. How do I then resume execution of 'c'? It seems like I have to somehow encounter that 'cont c' line again either in a loop or by reinvocation of an enclosing function. But can there be two calls to 'cont c'? ^x { ... cont c ... cont c ... } And the second one returns control to the thread that 'paused' when called from the first? If so, how do I start an entirely new thread? This was all a bit confusing, so if you can point me to a reference I would be grateful. Unfortunately "scoped continuations" has very few hits on Google. In fact by the time you read this, this comment is probably one of the top hits!