J. C. Reynolds. The discoveries of continuations. LISP and Symbolic Computation, 6(3--4):233--247, 1993. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
Systematic Design of Program Transformation Frameworks by.. - Cousot, Cousot (2002) (6 citations) (Correct)
The Formal Relationship Between Direct and Continuation-Passing.. - Sabry (1994) (9 citations) (Correct)
A Pragmatic Approach to Reuse in Tactical Theorem Proving - Schairer, Autexier, Hutter (2001) (1 citation) (Correct)
The Impact of the Lambda Calculus in Logic and Computer Science - Barendregt (1997) (8 citations) (Correct)
Histories of Discoveries of Continuations: Belles-Lettres .. - Peter Landin Department (1997) (1 citation) (Correct)
Typed Exceptions and Continuations Cannot Macro-Express Each.. - Riecke, Thielecke (1999) (4 citations) (Correct)
Interpreting Functions as π-Calculus Processes: A Tutorial - Sangiorgi (1999) (3 citations) (Correct)
The Formal Relationship between Direct and Continuation-Passing.. - Sabry (1994) (9 citations) (Correct)
The Impact of the Lambda Calculus in Logic and Computer Science - Barendregt (1997) (8 citations) (Correct)
The Semantics and Implementation of Bindings in Higher-Order.. - Banerjee (1995) (Correct)
Typed Exceptions and Continuations Cannot Macro-Express Each.. - Riecke, Thielecke (1999) (4 citations) (Correct)
Call-by-Name, Call-by-Value, Call-by-Need, and the.. - Maraist, Odersky.. (1994) (1 citation) (Correct)
A Notion of Classical Pure Type System - Barthe, Hatcliff, al. (1997) (6 citations) (Correct)
Strong Normalization from Weak Normalization in Typed.. - Sørensen (1997) (1 citation) (Correct)
A Notion of Classical Pure Type System - Barthe, Hatcliff, Sørensen (1997) (6 citations) (Correct)
How to Declare an Imperative - Wadler (1995) (60 citations) (Correct)
Compiler Correctness for Concurrent Languages - Gladstein, Wand (1994) (6 citations) (Correct)
Call-by-Name, Call-by-Value, Call-by-Need, and the Linear.. - Maraist, Odersky (1995) (1 citation) (Correct)
Data Flow Analysis for Reverse Engineering - Moonen (1996) (17 citations) (Correct)
Rewriting Logic Semantics: From Language Specifications To.. - Meseguer, Rosu (2004) (Correct)
Call-by-Name, Call-by-Value, Call-by-Need, and the Linear.. - Maraist, Odersky, al. (1995) (1 citation) (Correct)
Conservation and Uniform Normalization in Lambda Calculi.. - Neergaard, Sørensen (2002) (2 citations) (Correct)
A Reflection on Call-by-Value - Sabry, Wadler (1996) (18 citations) (Correct)
A Reflection on Call-by-Value - Sabry, Wadler (1996) (18 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