Representing control: a study of the CPS transformation (1992)

by Olivier Danvy , Andrzej Filinski
Citations:81 - 7 self

Documents Related by Co-Citation

625 Compiling With Continuations – A W Appel - 1992
300 Definitional interpreters for higher-order programming languages – John C. Reynolds - 1972
94 Abstracting Control – Olivier Danvy, Andrzej Filinski - 1990
220 Call-by-name, call-by-value and the -calculus – G D Plotkin - 1975
150 The theory and practice of first-class prompts – M Felleisen - 1988
111 Continuation-passing, closure-passing style – Trevor Jim - 1989
195 ORBIT: An optimizing compiler for Scheme – David Kranz, Richard Kelsey, Jonathan Rees, Paul Hudak, James Philbin, Norman Adams - 1987
255 The Revised Report on the Syntactic Theories of Sequential Control and State – Matthias Felleisen, Matthias Felleisen, Robert Hieb, Robert Hieb - 1992
130 Representing Monads – Andrzej Filinski - 1994
161 Reasoning about Programs in Continuation-Passing Style – Amr Sabry Sabry, Matthias Felleisen
150 Essentials of Programming Languages – D P Friedman, M Wand - 2008
110 Continuations: A Mathematical Semantics for Handling Full Jumps – Christopher Strachey - 1974
61 A Generalization of Exceptions and Control in ML-like Languages – Carl A. Gunter, Didier Rémy, Jon G. Riecke - 1995
69 Explicit Polymorphism and CPS Conversion – Robert Harper , Mark Lillibridge - 1992
116 A syntactic theory of sequential control – M Felleisen, D P Friedman, E Kohlbecker, B Duba - 1987
51 Back to Direct Style II: First-Class Continuations – Olivier Danvy, Julia L. Lawall - 1996
179 Lambda Lifting: Transforming Programs to Recursive Equations – Thomas Johnsson - 1985
538 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
269 The Essence of Compiling with Continuations – Cormac Flanagan, Amr Sabry, Bruce F. Duba, Matthias Felleisen - 1993