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 interface between values and contexts. This note presents a type-based explanation of what eta-expansion achieves, why it works, and how it can be automated. This leads to a unified view of various source-code improvements, including a popular transformation called "The Trick."

• Type: Conference
• Year: 1998
• Where: PEPM
• Authors: Jens Palsberg
• Keywords: Partial Evaluator Yield, PEPM 1998, Software Engineering, Static Data Flow, Various Source-code Improvements