|
21
|
Partial Evaluation
– Torben Æ. Mogensen, Torben Ae. Mogensen, Peter Sestoft
- 1996
|
|
12
|
On the Specialization of Online Program Specializers
– Erik Ruf, Daniel Weise
- 1992
|
|
230
|
Tutorial Notes on Partial Evaluation
– Charles Consel, Olivier Danvy
- 1993
|
|
9
|
Preserving Information during Online Partial Evaluation
– Erik Ruf, Daniel Weise
- 1992
|
|
1
|
Partial Evaluation: Principles and Perspectives
– Charles Consel, Olivier Danvy
- 1993
|
|
1
|
Partial Evaluation and the Generation of Program Generators
– Neil D. Jones
- 1993
|
|
120
|
An Introduction to Partial Evaluation
– Neil D. Jones
- 1996
|
|
86
|
Efficient Type Inference for Higher-Order Binding-Time Analysis
– Fritz Henglein
- 1991
|
|
3
|
Two Flavors of Offline Partial Evaluation
– Simon Helsen, Peter Thiemann, Nottingham Ng Rd
- 1998
|
|
1
|
Computing Types During Partial Evaluation
– Daniel Weise, Erik Ruf
- 1990
|
|
472
|
Program Analysis and Specialization for the C Programming Language
– Lars Ole Andersen
- 1994
|
|
69
|
On perfect supercompilation
– Jens Peter Secher, Morten Heine Sørensen
- 1996
|
|
33
|
A Roadmap to Metacomputation by Supercompilation
– Robert Glück, Morten Heine Sørensen
- 1996
|
|
12
|
A Constraint-based Partial Evaluator for Functional Logic Programs and its Application
– Laura Lafave
- 1998
|
|
27
|
An Automatic Program Generator for Multi-Level Specialization
– Robert Glück, Jesper Jørgensen
- 1997
|
|
|
Formal Aspects of Polyvariant Specialization
– Henning Korsholm Rohde
- 2005
|
|
5
|
Implementing Memoization for Partial Evaluation
– Peter Thiemann
- 1997
|
|
20
|
Generating a Compiler for a Lazy Language by Partial Evaluation
– Jesper Jørgensen
- 1992
|
|
47
|
Static and Dynamic Semantics Processing
– Charles Consel, Olivier Danvy
- 1991
|
