Christopher Strachey and Christopher Wadsworth. A mathematical semantics for handling full jumps. Technical Report Technical Monograph PRG--11, Oxford University Computing Laboratory, 1974. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
Lambda-Calculus Schemata - Fischer (1993) (71 citations) (Correct)
Explicit Polymorphism and CPS Conversion - Harper, Lillibridge (1993) (41 citations) (Correct)
Continuing Into the Future: the Return - Moreau (1996) (Correct)
The Discoveries of Continuations - Reynolds (1993) (9 citations) (Correct)
Typing First-Class Continuations in ML - Harper, Duba, MacQueen (1992) (17 citations) (Correct)
Typing First-Class Continuations in ML - Duba, Harper, MacQueen (1991) (52 citations) (Correct)
Partial Continuations as the Difference of Continuations A.. - Moreau, Queinnec (1994) (6 citations) (Correct)
Non-speculative and Upward Invocation of Continuations in a.. - Moreau (1995) (Correct)
Typing First-Class Continuations in ML - Robert Harper (17 citations) (Correct)
Typing First-Class Continuations in ML - Duba, Harper, MacQueen (1991) (52 citations) (Correct)
Explicit Polymorphism and CPS Conversion - Harper, Lillibridge (1993) (41 citations) (Correct)
Explicit Polymorphism and CPS Conversion - Robert Harper Mark (1992) (41 citations) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC