Stores and Partial Continuations as First-Class Objects in a Language and its Environment.

Gregory F. Johnson, Dominic Duggan

Browse the full POPL paper archive.