Continuations: A Mathematical Semantics for Handling Full Jumps

13 years 11 months ago

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

General Form | LISP 2000 | Mathematical Semantics | Programming Languages |

claim paper

Added	19 Dec 2010
Updated	19 Dec 2010
Type	Journal
Year	2000
Where	LISP
Authors	Christopher Strachey, Christopher P. Wadsworth

Comments (0)