Olivier Danvy, Karoline Malmkjær, Jens Palsberg. The Essence of Eta-Expansion in Partial Evaluation. Higher-Order and Symbolic Computation, 8(3):209-227, 1995.
@article{DanvyMP95,
title = {The Essence of Eta-Expansion in Partial Evaluation},
author = {Olivier Danvy and Karoline Malmkjær and Jens Palsberg},
year = {1995},
tags = {partial evaluation},
researchr = {https://researchr.org/publication/DanvyMP95},
cites = {0},
citedby = {0},
journal = {Higher-Order and Symbolic Computation},
volume = {8},
number = {3},
pages = {209-227},
}