Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Higher-Order and Symbolic Computation: Abstract, 13(1/2)131-133
[go: Go Back, main page]

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].
[picture of journal cover]

June 2003 - hosc@brics.dk