|
3
|
Two Flavors of Offline Partial Evaluation
– Simon Helsen, Peter Thiemann, Nottingham Ng Rd
- 1998
|
|
472
|
Program Analysis and Specialization for the C Programming Language
– Lars Ole Andersen
- 1994
|
|
230
|
Tutorial Notes on Partial Evaluation
– Charles Consel, Olivier Danvy
- 1993
|
|
12
|
Towards Partial Evaluation of Full Scheme
– Peter Thiemann
- 1996
|
|
4
|
A Computational Formalization for Partial Evaluation (Extended Version)
– John Hatcliff, Olivier Danvy
- 1996
|
|
15
|
Improving CPS-Based Partial Evaluation: Writing Cogen by Hand
– Anders Bondorf, Dirk Dussart
- 1994
|
|
4
|
Polymorphic Specialization for ML
– Simon Helsen, Peter Thiemann
- 2002
|
|
54
|
Efficient Multi-level Generating Extensions for Program Specialization
– Robert Glück, Jesper Jørgensen
- 1995
|
|
5
|
Implementing Memoization for Partial Evaluation
– Peter Thiemann
- 1997
|
|
27
|
An Automatic Program Generator for Multi-Level Specialization
– Robert Glück, Jesper Jørgensen
- 1997
|
|
13
|
The Formal Relationship Between Direct and Continuation-Passing Style Optimizing Compilers: A Synthesis of Two Paradigms
– Amr A. Sabry
- 1994
|
|
27
|
Cogen in Six Lines
– Peter J. Thiemann
- 1996
|
|
21
|
Partial Evaluation
– Torben Æ. Mogensen, Torben Ae. Mogensen, Peter Sestoft
- 1996
|
|
2
|
Towards efficient partial evaluation
– Karoline Malmkjær
- 1993
|
|
14
|
A Hybrid Approach to Online and Offline Partial Evaluation
– Eijiro Sumii, Naoki Kobayashi
- 2002
|
|
15
|
Type Specialisation for the lambda-calculus, or A New Paradigm for Partial Evaluation based on Type Inference
– John Hughes
|
|
5
|
Pragmatic Aspects of Type-Directed Partial Evaluation
– Olivier Danvy
- 1996
|
|
|
Staging Purely Functional Dynamic Programming Algorithms
– Kedar N. Swadi, Walid Taha, Oleg Kiselyov , et al.
|
|
14
|
Sound Specialization in the Presence of Computational Effects
– Julia L. Lawall, Peter Thiemann
- 1997
|
