Olivier Danvy, Karoline Malmkjær, Jens Palsberg
The Essence of Eta-Expansion in Partial Evaluation
PEPM, 1994.
@inproceedings{PEPM-1994-DanvyMP,
author = "Olivier Danvy and Karoline Malmkjær and Jens Palsberg",
booktitle = "{Proceedings of the Fourth Workshop on Partial Evaluation and Semantics-Based Program Manipulation (Technical Report 94/9)}",
pages = "11--20",
publisher = "{University of Melbourne, Australia, Department of Computer Science}",
title = "{The Essence of Eta-Expansion in Partial Evaluation}",
year = 1994,
}