PEPM 1998 | Sciweavers

27

click to vote

PEPM
1998
ACM

87views Software Engineering» more PEPM 1998»

Introduction to Supercompilation

14 years 4 months ago

Download repository.readscheme.org

Morten Heine Sørensen, Robert Glück

claim paper

Read More »

31

click to vote

PEPM
1998
ACM

83views Software Engineering» more PEPM 1998»

Eta-Redexes in Partial Evaluation

14 years 4 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 »

34

click to vote

PEPM
1998
ACM

105views Software Engineering» more PEPM 1998»

Inherited Limits

14 years 4 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 »

46

click to vote

PEPM
1998
ACM

106views Software Engineering» more PEPM 1998»

Type-Directed Partial Evaluation

14 years 4 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 »

25

click to vote

PEPM
1998
ACM

85views Software Engineering» more PEPM 1998»

Partial Evaluation for the Lambda Calculus

14 years 4 months ago

Download www.dina.kvl.dk

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

claim paper