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

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

Documents Related by Co-Citation

207 Type-directed partial evaluation – Olivier Danvy - 1996
641 P.: Partial Evaluation and Automatic Program Generation – N D Jones, C K Gomard, Sestoft - 1993
117 Automatic Autoprojection of Recursive Equations with Global Variables and Abstract Data Types – Anders Bondorf, Olivier Danvy - 1990
91 Opportunities for Online Partial Evaluation – Erik Ruf, Daniel Weise - 1992
527 Program Analysis and Specialization for the C Programming Language – Lars Ole Andersen - 1994
185 A General Approach for Run-Time Specialization and its Application to C – Charles Consel - 1996
16 A Hybrid Approach to Online and Offline Partial Evaluation – Eijiro Sumii, Naoki Kobayashi - 2002
27 Cogen in Six Lines – Peter J. Thiemann - 1996
33 A Computational Formalization for Partial Evaluation – John Hatcliff, Olivier Danvy, I Ff, Ol - 1997
30 A Sound Reduction Semantics for Untyped CBN Multi-Stage Computation. Or, the Theory of MetaML is Non-trivial (Extended Abstract) – Walid Taha - 2000
173 Partial Evaluation of Computation Process - An Approach to a Compiler-Compiler – Yoshihiko Futamura - 1999
80 A temporal-logic approach to binding-time analysis – Rowan Davies - 1996
86 Multi-Stage Programming: Its Theory and Applications – Walid Taha - 1999
69 Improving binding times without explicit cps-conversion – A Bondorf - 1992
32 Polyvariant Binding-Time Analysis For Applicative Languages – Charles Consel - 1993
93 A Partial Evaluator for the Untyped Lambda Calculus – Carsten K. Gomard, Neil D. Jones - 1991
27 Closed Types as a Simple Approach to Safe Imperative Multi-Stage Programming – Cristiano Calcagno , Eugenio Moggi, Walid Taha - 2000
44 Partial evaluation of Standard ML – Lars Birkedal, Morten Welinder - 1993
239 MetaML and Multi-Stage Programming with Explicit Annotations – Walid Taha, Tim Sheard - 1999