Cogen in Six Lines (1996)

Cached

Download Links

by Peter J. Thiemann
Venue:Proc. International Conference on Functional Programming
Citations:27 - 10 self

Documents Related by Co-Citation

207 Type-directed partial evaluation – Olivier Danvy - 1996
237 Tutorial Notes on Partial Evaluation – Charles Consel, Olivier Danvy - 1993
91 Efficient Type Inference for Higher-Order Binding-Time Analysis – Fritz Henglein - 1991
59 Efficient Multi-level Generating Extensions for Program Specialization – Robert Glück, Jesper Jørgensen - 1995
173 Partial Evaluation of Computation Process - An Approach to a Compiler-Compiler – Yoshihiko Futamura - 1999
641 P.: Partial Evaluation and Automatic Program Generation – N D Jones, C K Gomard, Sestoft - 1993
29 Handwriting cogen to avoid problems with static typing – C K Holst, J Launchbury - 1991
90 Automatic autoprojection of higher order recursive equations – Anders Bondorf - 1991
117 Automatic Autoprojection of Recursive Equations with Global Variables and Abstract Data Types – Anders Bondorf, Olivier Danvy - 1990
28 Hand-writing program generator generators – L Birkedal, M Welinder - 1994
93 A Partial Evaluator for the Untyped Lambda Calculus – Carsten K. Gomard, Neil D. Jones - 1991
26 Partial Evaluation for Higher-Order Languages with State – Peter Thiemann, Dirk Dussart - 1996
122 An experiment in partial evaluation: The generation of a compiler generator – Neil D Jones, Peter Sestoft, Harald Søndergaard - 1985
16 A Hybrid Approach to Online and Offline Partial Evaluation – Eijiro Sumii, Naoki Kobayashi - 2002
157 Revised report on the algorithmic language Scheme – W Clinger, J Rees - 1991
54 A Tractable Scheme Implementation – Richard Kelsey Kelsey, Jonathan A. Rees
44 Partial evaluation of Standard ML – Lars Birkedal, Morten Welinder - 1993
5 Implementing Memoization for Partial Evaluation – Peter Thiemann - 1997
19 Similix 5.0 – A Bondorf - 1993