Partial Evaluation for Higher-Order Languages with State (1996)

by Peter Thiemann , Dirk Dussart
Citations:26 - 7 self

Active Bibliography

3 Two Flavors of Offline Partial Evaluation – Simon Helsen, Peter Thiemann - 1998
527 Program Analysis and Specialization for the C Programming Language – Lars Ole Andersen - 1994
237 Tutorial Notes on Partial Evaluation – Charles Consel, Olivier Danvy - 1993
13 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
59 Efficient Multi-level Generating Extensions for Program Specialization – Robert Glück, Jesper Jørgensen - 1995
5 Implementing Memoization for Partial Evaluation – Peter Thiemann - 1997
28 An Automatic Program Generator for Multi-Level Specialization – Robert Glück, Jesper Jørgensen - 1997
15 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
23 Partial Evaluation – Torben Æ. Mogensen, Peter Sestoft - 1996
T~pe-Directed Partial Evalt~ation – Olivier Danvy
2 Towards efficient partial evaluation – Karoline Malmkjær - 1993
16 A Hybrid Approach to Online and Offline Partial Evaluation – Eijiro Sumii, Naoki Kobayashi - 2002
16 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.