Type-directed partial evaluation (1996)

by Olivier Danvy
Venue:Proceedings of the Twenty-Third Annual ACM Symposium on Principles of Programming Languages
Citations:207 - 39 self

Documents Related by Co-Citation

185 A Modal Analysis of Staged Computation – Rowan Davies, Frank Pfenning - 1996
641 P.: Partial Evaluation and Automatic Program Generation – N D Jones, C K Gomard, Sestoft - 1993
93 A Partial Evaluator for the Untyped Lambda Calculus – Carsten K. Gomard, Neil D. Jones - 1991
117 Automatic Autoprojection of Recursive Equations with Global Variables and Abstract Data Types – Anders Bondorf, Olivier Danvy - 1990
237 Tutorial Notes on Partial Evaluation – Charles Consel, Olivier Danvy - 1993
59 Efficient Multi-level Generating Extensions for Program Specialization – Robert Glück, Jesper Jørgensen - 1995
625 Compiling With Continuations – A W Appel - 1992
45 and Hanne Riis Nielson. Two-Level Functional Languages, volume 34 of Cambridge Tracts – Flemming Nielson - 1992
44 Partial evaluation of Standard ML – Lars Birkedal, Morten Welinder - 1993
260 Compiling polymorphism using intensional type analysis – Robert Harper, Greg Morrisett - 1995
130 Representing Monads – Andrzej Filinski - 1994
69 Improving binding times without explicit cps-conversion – A Bondorf - 1992
269 The Essence of Compiling with Continuations – Cormac Flanagan, Amr Sabry, Bruce F. Duba, Matthias Felleisen - 1993
15 Improving CPS-Based Partial Evaluation: Writing Cogen by Hand – Anders Bondorf, Dirk Dussart - 1994
43 Encoding types in ML-like languages – Zhe Yang - 1998
52 An inverse of the evaluation functional for typed λ–calculus – U Berger, H Schwichtenberg - 1991
90 Automatic autoprojection of higher order recursive equations – Anders Bondorf - 1991
527 Program Analysis and Specialization for the C Programming Language – Lars Ole Andersen - 1994
70 A Tour of Schism: A Partial Evaluation System For Higher-Order Applicative Languages – Charles Consel - 1993