20 papers:
CEFP-2013-0001FS #composition- Zipper-Based Modular and Deforested Computations (PM, JPF, JS), pp. 407–427.
SAC-2008-MotaCFEB #deforestation #evolution #reasoning- Applying case-based reasoning in the evolution of deforestation patterns in the Brazilian Amazonia (JSM, GC, LMGF, MISE, ORFdOB), pp. 1683–1687.
ASIA-PEPM-2002-Voigtlander #parametricity #source code #using- Using circular programs to deforest in accumulating parameters (JV), pp. 126–137.
LOPSTR-2001-KakehiGF #deforestation #on the #parametricity- On Deforesting Parameters of Accumulating Maps (KK, RG, YF), pp. 46–56.
FLOPS-1999-Kuhnemann #comparison #deforestation #functional #source code #transducer- Comparison of Deforestation Techniques for Functional Programs and for Tree Transducers (AK), pp. 114–130.
ICFP-1999-Chitil #deforestation #type inference- Type Inference Builds a Short Cut to Deforestation (OC), pp. 249–260.
IFL-1999-Chitil #deforestation- Type-Inference Based Short Cut Deforestation (Nearly) without Inlining (OC), pp. 19–35.
PPDP-1999-CorrensonDPR #case study #declarative #deforestation #program transformation- Declarative Program Transformation: A Deforestation Case-Study (LC, ÉD, DP, GR), pp. 360–377.
SAS-1997-CorrensonDPR #attribute grammar #deforestation #functional #programming- Attribute Grammars and Functional Programming Deforestation (LC, ÉD, DP, GR), p. 365.
- ICFP-1997-Duris #attribute grammar #deforestation #functional #programming
- Functional Programming and Attribute Grammars Deforestation (ÉD), p. 312.
POPL-1997-SeidlS #constraints #deforestation #higher-order- Constraints to Stop Higher-Order Deforestation (HS, MHS), pp. 400–413.
ESOP-1996-Seidl #constraints #deforestation #integer- Integer Constraints to Stop Deforestation (HS), pp. 326–340.
- PLILP-1996-Hamilton #deforestation #higher-order
- Higher Order Deforestation (GWH), pp. 213–227.
FPCA-1995-TakanoM #deforestation- Shortcut Deforestation in Calculational Form (AT, EM), pp. 306–313.
- PLILP-1995-ChinK #deforestation
- Better Consumers for Deforestation (Extended Abstract) (WNC, SCK), pp. 223–240.
- ESOP-1994-SorensenGJ #deforestation #partial evaluation #supercompilation #towards
- Towards Unifying Partial Evaluation, Deforestation, Supercompilation, and GPC (MHS, RG, NDJ), pp. 485–500.
- SAS-1994-GluckJ #deforestation #generative #supercompilation
- Generating Transformers for Deforestation and Supercompilation (RG, JJ), pp. 432–448.
- FPCA-1993-GillLJ #deforestation
- A Short Cut to Deforestation (AJG, JL, SLPJ), pp. 223–232.
- WSA-1991-Chin #deforestation #first-order #functional #source code
- Generalising Deforestation for All First-Order Functional Programs (WNC), pp. 173–181.
- ESOP-1988-Wadler #deforestation #named #source code
- Deforestation: Transforming Programs to Eliminate Trees (PW), pp. 344–358.
