|
230
|
Tutorial Notes on Partial Evaluation
– Charles Consel, Olivier Danvy
- 1993
|
|
195
|
Type-directed partial evaluation
– Olivier Danvy
- 1996
|
|
54
|
Efficient Multi-level Generating Extensions for Program Specialization
– Robert Glück, Jesper Jørgensen
- 1995
|
|
86
|
Efficient Type Inference for Higher-Order Binding-Time Analysis
– Fritz Henglein
- 1991
|
|
29
|
Handwriting cogen to avoid problems with static typing
– C K Holst, J Launchbury
- 1991
|
|
89
|
Automatic autoprojection of higher order recursive equations
– A Bondorf
- 1991
|
|
114
|
Automatic Autoprojection of Recursive Equations with Global Variables and Abstract Data Types
– Anders Bondorf, Olivier Danvy
- 1990
|
|
160
|
Partial Evaluation of Computation Process - An Approach to a Compiler-Compiler
– Yoshihiko Futamura
- 1999
|
|
593
|
Partial Evaluation and Automatic Program Generation
– N D Jones, C K Gomard, P Sestoft
- 1993
|
|
27
|
Hand-writing program generator generators
– L Birkedal, M Welinder
- 1994
|
|
90
|
A Partial Evaluator for the Untyped Lambda Calculus
– Carsten K. Gomard, Neil D. Jones
- 1991
|
|
114
|
An experiment in partial evaluation: The generation of a compiler generator
– N D Jones, P Sestoft, H S��ndergaard
|
|
153
|
Revised report on the algorithmic language Scheme
– W Clinger, J Rees
- 1991
|
|
54
|
A Tractable Scheme Implementation
– Richard Kelsey Kelsey, Jonathan A. Rees
|
|
5
|
Implementing Memoization for Partial Evaluation
– Peter Thiemann
- 1997
|
|
19
|
Similix 5.0
– A Bondorf
- 1993
|
|
15
|
Improving CPS-Based Partial Evaluation: Writing Cogen by Hand
– Anders Bondorf, Dirk Dussart
- 1994
|
|
472
|
Program Analysis and Specialization for the C Programming Language
– Lars Ole Andersen
- 1994
|
|
32
|
The essence of eta-expansion in partial evaluation
– Olivier Danvy, Karoline Malmkjaer, Jens Palsberg
- 1995
|
