GL-a denotational testbed with continuations and partial continuations as first-class objects.

Gregory F. Johnson

Browse the full PLDI paper archive.