Integer Constraints to Stop Deforestation
Abstract elided by the publisher.
Related papers
- Constraints to Stop Higher-Order Deforestation POPL 1997
- Deforestation: Transforming Programs to Eliminate Trees ESOP 1988
- Functional Programming and Attribute Grammars Deforestation ICFP 1997
- Deforesting in Accumulating Parameters via Type-Directed Transformations APLAS 2002
- Generating Transformers for Deforestation and Supercompilation SAS 1994
- Attribute Grammars and Functional Programming Deforestation SAS 1997
- Towards Unifying Partial Evaluation, Deforestation, Supercompilation, and GPC ESOP 1994
- A Markov Chain Monte Carlo Sampler for Mixed Boolean/Integer Constraints CAV 2009