PEPM 1998 | Sciweavers

16

click to vote

PEPM
1998
ACM

87views Software Engineering» more PEPM 1998»

Introduction to Supercompilation

13 years 11 months ago

Download repository.readscheme.org

Morten Heine Sørensen, Robert Glück

claim paper

Read More »

20

click to vote

PEPM
1998
ACM

83views Software Engineering» more PEPM 1998»

Eta-Redexes in Partial Evaluation

13 years 11 months ago

Download www.cs.ucla.edu

Abstract. Source-program modifications can make a partial evaluator yield dramatically better results. For example, eta-redexes can preserve static data flow by acting as an interf...

Jens Palsberg

claim paper

Read More »

20

click to vote

PEPM
1998
ACM

105views Software Engineering» more PEPM 1998»

Inherited Limits

13 years 11 months ago

Download repository.readscheme.org

We show the evolution of partial evaluators over the past ten years from a particular perspective: the attempt to remove limits on the structure of residual programs that are inher...

Torben Æ. Mogensen

claim paper

Read More »

21

click to vote

PEPM
1998
ACM

106views Software Engineering» more PEPM 1998»

Type-Directed Partial Evaluation

13 years 11 months ago

Download www.pps.jussieu.fr

Abstract. We use a code generator--type-directed partial evaluation-to verify conversions between isomorphic types, or more precisely to verify that a composite function is the ide...

Olivier Danvy

claim paper

Read More »

19

click to vote

PEPM
1998
ACM

85views Software Engineering» more PEPM 1998»

Partial Evaluation for the Lambda Calculus

13 years 11 months ago

Download www.dina.kvl.dk

Neil D. Jones, Carsten K. Gomard, Peter Sestoft

claim paper