BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
program (7)
function (4)
cut (3)
transform (3)
base (3)

Stem deforest$ (all stems)

20 papers:

CEFPCEFP-2013-0001FS #composition
Zipper-Based Modular and Deforested Computations (PM, JPF, JS), pp. 407–427.
SACSAC-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.
PEPMASIA-PEPM-2002-Voigtlander #parametricity #source code #using
Using circular programs to deforest in accumulating parameters (JV), pp. 126–137.
LOPSTRLOPSTR-2001-KakehiGF #deforestation #on the #parametricity
On Deforesting Parameters of Accumulating Maps (KK, RG, YF), pp. 46–56.
FLOPSFLOPS-1999-Kuhnemann #comparison #deforestation #functional #source code #transducer
Comparison of Deforestation Techniques for Functional Programs and for Tree Transducers (AK), pp. 114–130.
ICFPICFP-1999-Chitil #deforestation #type inference
Type Inference Builds a Short Cut to Deforestation (OC), pp. 249–260.
IFLIFL-1999-Chitil #deforestation
Type-Inference Based Short Cut Deforestation (Nearly) without Inlining (OC), pp. 19–35.
PPDPPPDP-1999-CorrensonDPR #case study #declarative #deforestation #program transformation
Declarative Program Transformation: A Deforestation Case-Study (LC, ÉD, DP, GR), pp. 360–377.
SASSAS-1997-CorrensonDPR #attribute grammar #deforestation #functional #programming
Attribute Grammars and Functional Programming Deforestation (LC, ÉD, DP, GR), p. 365.
ICFPICFP-1997-Duris #attribute grammar #deforestation #functional #programming
Functional Programming and Attribute Grammars Deforestation (ÉD), p. 312.
POPLPOPL-1997-SeidlS #constraints #deforestation #higher-order
Constraints to Stop Higher-Order Deforestation (HS, MHS), pp. 400–413.
ESOPESOP-1996-Seidl #constraints #deforestation #integer
Integer Constraints to Stop Deforestation (HS), pp. 326–340.
PPDPPLILP-1996-Hamilton #deforestation #higher-order
Higher Order Deforestation (GWH), pp. 213–227.
FPCAFPCA-1995-TakanoM #deforestation
Shortcut Deforestation in Calculational Form (AT, EM), pp. 306–313.
PPDPPLILP-1995-ChinK #deforestation
Better Consumers for Deforestation (Extended Abstract) (WNC, SCK), pp. 223–240.
ESOPESOP-1994-SorensenGJ #deforestation #partial evaluation #supercompilation #towards
Towards Unifying Partial Evaluation, Deforestation, Supercompilation, and GPC (MHS, RG, NDJ), pp. 485–500.
SASSAS-1994-GluckJ #deforestation #generative #supercompilation
Generating Transformers for Deforestation and Supercompilation (RG, JJ), pp. 432–448.
FPCAFPCA-1993-GillLJ #deforestation
A Short Cut to Deforestation (AJG, JL, SLPJ), pp. 223–232.
SASWSA-1991-Chin #deforestation #first-order #functional #source code
Generalising Deforestation for All First-Order Functional Programs (WNC), pp. 173–181.
ESOPESOP-1988-Wadler #deforestation #named #source code
Deforestation: Transforming Programs to Eliminate Trees (PW), pp. 344–358.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.