Sciweavers

Share
PEPM
1998
ACM
9 years 4 months ago
Introduction to Supercompilation
Morten Heine Sørensen, Robert Glück
PEPM
1998
ACM
9 years 4 months ago
Eta-Redexes in Partial Evaluation
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
PEPM
1998
ACM
9 years 4 months ago
Inherited Limits
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
PEPM
1998
ACM
9 years 4 months ago
Type-Directed Partial Evaluation
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
PEPM
1998
ACM
9 years 4 months ago
Partial Evaluation for the Lambda Calculus
Neil D. Jones, Carsten K. Gomard, Peter Sestoft
books