Higher-Order and Symbolic Computation, 13(1/2)131-133
Continuations Revisited
Christopher P. Wadsworth, Pagoda, 73 Orchard Way, Wantage, Oxon
OX12 8EB, UK
Abstract: To introduce the republication of his joint 1974
paper with Christopher Strachey, "Continuations: A Mathematical
Semantics for Handling Full Jumps", the author recalls earlier
unsuccessful struggles which culminated eventually in the almost
instantaneous insight for their discovery of continuations in 1970.
Keywords: continuations, denotational semantics, mathematical
semantics, jumps, escape exits
|
This article can be downloaded [here].
|
|