A Computational Formalization for Partial Evaluation (1997)

Cached

Download Links

by John Hatcliff , Olivier Danvy , I Ff , Ol
Citations:33 - 10 self

Documents Related by Co-Citation

207 Type-directed partial evaluation – Olivier Danvy - 1996
185 A Modal Analysis of Staged Computation – Rowan Davies, Frank Pfenning - 1996
80 A temporal-logic approach to binding-time analysis – Rowan Davies - 1996
237 Tutorial Notes on Partial Evaluation – Charles Consel, Olivier Danvy - 1993
87 A Generic Account of Continuation-Passing Styles – John Hatcliff, Olivier Danvy - 1994
45 and Hanne Riis Nielson. Two-Level Functional Languages, volume 34 of Cambridge Tracts – Flemming Nielson - 1992
93 A Partial Evaluator for the Untyped Lambda Calculus – Carsten K. Gomard, Neil D. Jones - 1991
730 Notions of Computation and Monads – Eugenio Moggi - 1991
117 Automatic Autoprojection of Recursive Equations with Global Variables and Abstract Data Types – Anders Bondorf, Olivier Danvy - 1990
34 A self-applicable partial evaluator for the lambda calculus: correctness and pragmatics – C K Gomard - 1992
17 Correctness of Binding-time Analysis – Jens Palsberg - 1993
641 P.: Partial Evaluation and Automatic Program Generation – N D Jones, C K Gomard, Sestoft - 1993
30 A Sound Reduction Semantics for Untyped CBN Multi-Stage Computation. Or, the Theory of MetaML is Non-trivial (Extended Abstract) – Walid Taha - 2000
439 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
15 Functor Categories and Two-Level Languages – E. Moggi - 1998
14 Sound Specialization in the Presence of Computational Effects – Julia L. Lawall, Peter Thiemann - 1997
605 The Definition of Standard ML (Revised – Robin Milner, Mads Tofte, Robert Harper, David Macqueen - 1997
59 For a Better Support of Static Data Flow – Charles Consel, Olivier Danvy
20 Available online at http://www.dina.kvl.dk/~sestoft/pebook – Neil D Jones, Carsten K Gomard, Peter Sestoft - 1993