Higher-Order and Symbolic Computation, 13(1/2)135-152
Continuations: A Mathematical Semantics for Handling Full JumpsChristopher Strachey, Reader in Computation at Oxford University, Programming Research Group, 45 Banbury Road, Oxford
Christopher P. Wadsworth, Independent Consultant
| Abstract: This paper describes a method of giving the mathematical semantics of programming languages which include the most general form of jumps. |
This article can be downloaded [here].
![[picture of journal cover]](../LISP.JPG)