Towards Unifying Partial Evaluation, Deforestation, Supercompilation, and GPC
Abstract elided by the publisher.
Related papers
- A Positive Supercompiler JFP 1996
- Generating Transformers for Deforestation and Supercompilation SAS 1994
- Positive supercompilation for a higher order call-by-value language POPL 2009
- The Concept of a Supercompiler TOPLAS 1986
- Supercompilation by evaluation Haskell 2010
- Two for the Price of One: Composing Partial Evaluation and Compilation PLDI 1997
- Termination combinators forever Haskell 2011
- Type Inference Builds a Short Cut to Deforestation ICFP 1999