|
230
|
Tutorial Notes on Partial Evaluation
– Charles Consel, Olivier Danvy
- 1993
|
|
113
|
ILSoudergaard MIX: a self-applicable partial evaluator for experiments in compiler generation
– P Sestoft N D Jones
- 1989
|
|
114
|
Automatic Autoprojection of Recursive Equations with Global Variables and Abstract Data Types
– Anders Bondorf, Olivier Danvy
- 1990
|
|
114
|
An experiment in partial evaluation: The generation of a compiler generator
– N D Jones, P Sestoft, H S��ndergaard
|
|
195
|
Type-directed partial evaluation
– Olivier Danvy
- 1996
|
|
67
|
Binding time analysis for higher order untyped functional languages
– C Consel
- 1990
|
|
58
|
For a Better Support of Static Data Flow
– Charles Consel, Olivier Danvy
|
|
18
|
Semantics-Directed Compilation of Non-Linear Patterns
– Olivier Danvy
- 1990
|
|
32
|
The essence of eta-expansion in partial evaluation
– Olivier Danvy, Karoline Malmkjaer, Jens Palsberg
- 1995
|
|
593
|
Partial Evaluation and Automatic Program Generation
– N D Jones, C K Gomard, P Sestoft
- 1993
|
|
160
|
Partial Evaluation of Computation Process - An Approach to a Compiler-Compiler
– Yoshihiko Futamura
- 1999
|
|
68
|
A uniform approach for compile-time and run-time specialization
– Charles Consel, Luke Hornof, Francois Noel, Jacques Noye, Nicolae Volanschi, Universite De Rennes Irisa
- 1996
|
|
16
|
Generating a compiler for a lazy language by partial evaluation
– J Jrgensen
- 1992
|
|
44
|
Parameterized partial evaluation
– C Consel, S C Khoo
- 1993
|
|
87
|
Opportunities for Online Partial Evaluation
– Erik Ruf, Daniel Weise
- 1992
|
|
595
|
Compiling with Continuations
– Andrew Appel
- 1992
|
|
21
|
Semantics-directed generation of a Prolog compiler
– C Consel, S C Khoo
- 1991
|
|
42
|
Partial Evaluation of Pattern Matching in Strings
– Charles Consel, Olivier Danvy
- 1989
|
|
50
|
An inverse of the evaluation functional for typed -calculus
– Ulrich Berger, Helmut Schwichtenberg
- 1991
|
