For a Better Support of Static Data Flow (0)

Cached

Download Links

by Charles Consel , Olivier Danvy
Venue:Functional Programming Languages and Computer Architecture
Citations:59 - 16 self

Documents Related by Co-Citation

625 Compiling With Continuations – A W Appel - 1992
69 Improving binding times without explicit cps-conversion – A Bondorf - 1992
207 Type-directed partial evaluation – Olivier Danvy - 1996
117 Automatic Autoprojection of Recursive Equations with Global Variables and Abstract Data Types – Anders Bondorf, Olivier Danvy - 1990
269 The Essence of Compiling with Continuations – Cormac Flanagan, Amr Sabry, Bruce F. Duba, Matthias Felleisen - 1993
237 Tutorial Notes on Partial Evaluation – Charles Consel, Olivier Danvy - 1993
87 A Generic Account of Continuation-Passing Styles – John Hatcliff, Olivier Danvy - 1994
161 Reasoning about Programs in Continuation-Passing Style – Amr Sabry Sabry, Matthias Felleisen
298 Control-Flow Analysis of Higher-Order Languages – Olin Shivers - 1991
300 Definitional interpreters for higher-order programming languages – John C. Reynolds - 1972
8 Continuation passing transformation and abstract interpretation – J A Muylaert-Filho, G L Burn - 1993
220 Call-by-name, call-by-value and the -calculus – G D Plotkin - 1975
641 P.: Partial Evaluation and Automatic Program Generation – N D Jones, C K Gomard, Sestoft - 1993
574 A Transformation System for Developing Recursive Programs – R. M. Burstall, John Darlington - 1977
72 Realistic Compilation by Program Transformation – Richard Kelsey, Paul Hudak - 1989
195 ORBIT: An optimizing compiler for Scheme – David Kranz, Richard Kelsey, Jonathan Rees, Paul Hudak, James Philbin, Norman Adams - 1987
51 Back to Direct Style II: First-Class Continuations – Olivier Danvy, Julia L. Lawall - 1996
91 Efficient Type Inference for Higher-Order Binding-Time Analysis – Fritz Henglein - 1991
730 Notions of Computation and Monads – Eugenio Moggi - 1991