A Computational Formalization for Partial Evaluation (Extended Version) (1996)

Cached

Download Links

by John Hatcliff , Olivier Danvy
Citations:4 - 0 self

Active Bibliography

2 Language Support for Program Generation: Reasoning, Implementation, and Applications – Zhe Yang, Olivier Danvy, Benjamin Goldberg - 2001
14 Sound Specialization in the Presence of Computational Effects – Julia L. Lawall, Peter Thiemann - 1997
Types for Proofs and Programs – Bernd Grobauer - 1999
21 Eta-Expansion does the Trick – Olivier Danvy, Karoline Malmkjaer, Jens Palsberg - 1996
39 Lambda-Dropping: Transforming Recursive Equations into Programs with Block Structure – Olivier Danvy, Ulrik P. Schultz - 2001
87 A Generic Account of Continuation-Passing Styles – John Hatcliff, Olivier Danvy - 1994
2 Reasoning about Code Generation in Two-Level Languages – Zhe Yang - 2000
5 Pragmatic Aspects of Type-Directed Partial Evaluation – Olivier Danvy - 1996
49 Back to Direct Style – Olivier Danvy - 1994
23 Semantics-Based Compiling: A Case Study in Type-Directed Partial Evaluation – Olivier Danvy, RenĂ© Vestergaard
32 The essence of eta-expansion in partial evaluation – Olivier Danvy, Karoline Malmkjaer, Jens Palsberg - 1995
5 A New One-Pass Transformation into Monadic Normal Form – Olivier Danvy - 2003
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
Lambda-dropping: transforming recursive equations – Olivier Danvy A, Ulrik P. Schultz B
6 Higher-Order Rewriting and Partial Evaluation – Kristoffer H. Rose, Olivier Danvy - 1998
12 An Introduction to Reflection-Oriented Programming – J.M. Sobel, Daniel P. Friedman - 1996
6 Correctness of a Region-Based Binding-Time Analysis – Peter J. Thiemann - 1997
Shifting the stage Staging – Yukiyoshi Kameyama, Chung-chieh Shan