Sciweavers

LISP
2000
96views more  LISP 2000»
14 years 7 days ago
Continuations: A Mathematical Semantics for Handling Full Jumps
This paper describes a method of giving the mathematical semantics of programming languages which include the most general form of jumps.
Christopher Strachey, Christopher P. Wadsworth