M. Felleisen and D.P. Friedman. Control operators, the secd-machine, and the lambda-calculus. In 3rd Working Conference on the Formal Description of Programming Concepts, August 1986. (p 69) Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
Dynamic Rebinding for Marshalling and Update, with .. - Bierman, Hicks.. (Correct)
Dynamic Rebinding for Marshalling and Update, with.. - Bierman, Hicks.. (2003) (Correct)
Adequacy for Algebraic Effects - Plotkin, Power (Correct)
Tracing Lazy Functional Languages - Jeremy Gibbons And (1996) (2 citations) (Correct)
Continuation-based Transformations for Coordination Languages - Jagannathan (1999) (Correct)
The Tail-Recursive SECD Machine - Ramsdell (1999) (1 citation) (Correct)
Communication-Passing Style for Coordination Languages - Suresh Jagannathan (Correct)
Trace-Based Program Analysis - Colby, Lee (1996) (4 citations) (Correct)
Tracing Lazy Functional Languages - Jeremy Gibbons (1996) (2 citations) (Correct)
Tracing Lazy Functional Languages - Wansbrough (1995) (2 citations) (Correct)
Semantics-based Program Analysis via - Symbolic Composition Of (Correct)
Trace-based Program Analysis - Christopher Colby Peter (1996) (4 citations) (Correct)
Mixin Modules for Dynamic Rebinding - Davide Ancona Sonia (Correct)
Mixin Modules for Dynamic Rebinding - Davide Ancona Sonia (Correct)
Adequacy for Algebraic Effects - Plotkin, Power (2001) (Correct)
Dynamic Rebinding for Marshalling and Update, with .. - Bierman, Hicks.. (2004) (Correct)
Dynamic Rebinding for Marshalling and Update, with .. - Bierman, Hicks.. (Correct)
Semantics-based Program Analysis via Symbolic Composition of.. - Colby (1996) (Correct)
Chapter 5: On the Orthogonality of Assignments and.. - Felleisen, Weeks (1996) Self-citation (Felleisen) (Correct)
The Semantics of Future - Flanagan, Felleisen (1994) Self-citation (Felleisen) (Correct)
A Call-By-Need Lambda Calculus - Ariola, Felleisen, Maraist, Odersky, .. (1995) (141 citations) Self-citation (Felleisen) (Correct)
The Semantics of Future and Its Use in Program Optimization - Flanagan, Felleisen (1995) (20 citations) Self-citation (Felleisen) (Correct)
Revised^4 Report on the Algorithmic Language Scheme - Clinger, (ed.), Rees.. (1991) (242 citations) Self-citation (Friedman) (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