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

Cached

Download Links

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

Active Bibliography

(Extended version) ∗ – Olivier Danvy, Morten Rhiger, Olivier Danvy, Morten Rhiger, Olivier Danvy, Morten Rhiger - 2000
unknown title – unknown authors
535 Program Analysis and Specialization for the C Programming Language – Lars Ole Andersen - 1994
2 Language Support for Program Generation: Reasoning, Implementation, and Applications – Zhe Yang - 2001
Under consideration for publication in J. Functional Programming 1 Finally Tagless, Partially Evaluated Tagless Staged Interpreters for Simpler Typed Languages – Jacques Carette, Oleg Kiselyov, Chung-chieh Shan
14 Sound Specialization in the Presence of Computational Effects – Julia L. Lawall, Peter Thiemann - 1997
1318 Monads for functional programming – Philip Wadler - 1995
734 Notions of Computation and Monads – Eugenio Moggi - 1991
527 Points-to Analysis in Almost Linear Time – Bjarne Steensgaard - 1996