Three Steps for the CPS Transformation (1991)

Cached

Download Links

by Olivier Danvy
Citations:12 - 4 self

Documents Related by Co-Citation

625 Compiling With Continuations – A W Appel - 1992
81 Representing control: a study of the CPS transformation – Olivier Danvy, Andrzej Filinski - 1992
300 Definitional interpreters for higher-order programming languages – John C. Reynolds - 1972
269 The Essence of Compiling with Continuations – Cormac Flanagan, Amr Sabry, Bruce F. Duba, Matthias Felleisen - 1993
49 Back to Direct Style – Olivier Danvy - 1994
59 For a Better Support of Static Data Flow – Charles Consel, Olivier Danvy
51 Back to Direct Style II: First-Class Continuations – Olivier Danvy, Julia L. Lawall - 1996
69 Improving binding times without explicit cps-conversion – A Bondorf - 1992
161 Reasoning about Programs in Continuation-Passing Style – Amr Sabry Sabry, Matthias Felleisen
150 The theory and practice of first-class prompts – M Felleisen - 1988
130 Representing Monads – Andrzej Filinski - 1994
11 Implementing russell – Hans-Juergen Boehm, Alan Demers - 1986
38 The Scheme 311 Compiler: An Exercise in Denotational Semantics – W Clinger - 1984
83 Control operators, the SECD machine and the -calculus – M Felleisen, D P Friedman - 1986
101 Lambda-Calculus Schemata – Michael J. Fischer - 1993
220 Call-by-name, call-by-value and the -calculus – G D Plotkin - 1975
730 Notions of Computation and Monads – Eugenio Moggi - 1991
22 Is Continuation-Passing Useful for Data Flow Analysis? – Amr Sabry, Matthias Felleisen - 1994
105 Danvy and Andrzej Filinski. Representing control: A study of the CPS transformation – Olivier - 1992