Improving CPS-Based Partial Evaluation: Writing Cogen by Hand (1994)

Cached

Download Links

by Anders Bondorf , Dirk Dussart
Venue:University of Melbourne, Australia
Citations:15 - 0 self

Documents Related by Co-Citation

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
236 Tutorial Notes on Partial Evaluation – Charles Consel, Olivier Danvy - 1993
130 Representing Monads – Andrzej Filinski - 1994
642 Partial Evaluation and Automatic Program Generation – N D Jones, C K Gomard, P Sestoft - 1993
90 Automatic autoprojection of higher order recursive equations – Anders Bondorf - 1991
105 Danvy and Andrzej Filinski. Representing control: A study of the CPS transformation – Olivier - 1992
70 A Tour of Schism: A Partial Evaluation System For Higher-Order Applicative Languages – Charles Consel - 1993
44 Partial evaluation of Standard ML – Lars Birkedal, Morten Welinder - 1993
161 Reasoning about Programs in Continuation-Passing Style – Amr Sabry Sabry, Matthias Felleisen
1119 The Lambda Calculus: Its Syntax and Semantics – H P BARENDREGT - 1984
529 Program Analysis and Specialization for the C Programming Language – Lars Ole Andersen - 1994
59 Efficient Multi-level Generating Extensions for Program Specialization – Robert Glück, Jesper Jørgensen - 1995
69 Improving binding times without explicit cps-conversion – A Bondorf - 1992
32 The essence of eta-expansion in partial evaluation – Olivier Danvy, Karoline Malmkjaer, Jens Palsberg - 1995
27 Cogen in Six Lines – Peter J. Thiemann - 1996
220 Call-by-name, call-by-value and the -calculus – G D Plotkin - 1975
91 Efficient Type Inference for Higher-Order Binding-Time Analysis – Fritz Henglein - 1991
48 Efficient analyses for realistic off-line partial evaluation – Anders Bondorf, Jesper Jørgensen - 1993