|
165
|
A Modal Analysis of Staged Computation
– Rowan Davies, Frank Pfenning
- 1996
|
|
195
|
Type-directed partial evaluation
– Olivier Danvy
- 1996
|
|
90
|
A Partial Evaluator for the Untyped Lambda Calculus
– Carsten K. Gomard, Neil D. Jones
- 1991
|
|
179
|
A General Approach for Run-Time Specialization and its Application to C
– Charles Consel
- 1996
|
|
593
|
Partial Evaluation and Automatic Program Generation
– N D Jones, C K Gomard, P Sestoft
- 1993
|
|
77
|
A temporal-logic approach to binding-time analysis
– Rowan Davies
- 1996
|
|
230
|
Tutorial Notes on Partial Evaluation
– Charles Consel, Olivier Danvy
- 1993
|
|
201
|
MetaML and Multi-Stage Programming with Explicit Annotations
– Walid Taha, Tim Sheard
- 1999
|
|
114
|
Automatic Autoprojection of Recursive Equations with Global Variables and Abstract Data Types
– Anders Bondorf, Olivier Danvy
- 1990
|
|
472
|
Program Analysis and Specialization for the C Programming Language
– Lars Ole Andersen
- 1994
|
|
21
|
Fast Binding-Time Analysis for Multi-Level Specialization
– Robert Glück, Jesper Jørgensen
- 1996
|
|
42
|
Partial evaluation of Standard ML
– Lars Birkedal, Morten Welinder
- 1993
|
|
27
|
An Automatic Program Generator for Multi-Level Specialization
– Robert Glück, Jesper Jørgensen
- 1997
|
|
29
|
Handwriting cogen to avoid problems with static typing
– C K Holst, J Launchbury
- 1991
|
|
33
|
Multi-Stage Programming: Axiomatization and Type Safety (Extended Abstract)
– Walid Taha, Zine-el-abidine Benaissa, Tim Sheard
- 1998
|
|
30
|
A partial evaluator and its use as a programming tool
– L Beckman, A Haraldson, Ö Oskarsson, E Sandewall
- 1976
|
|
89
|
Automatic autoprojection of higher order recursive equations
– A Bondorf
- 1991
|
|
12
|
Mechanically Verifying the Correctness of an Offline Partial Evaluator
– John Hatcliff
- 1995
|
|
67
|
Binding time analysis for higher order untyped functional languages
– C Consel
- 1990
|
