The Essence of Eta-Expansion in Partial Evaluation

Olivier Danvy, Karoline Malmkjær, Jens Palsberg. The Essence of Eta-Expansion in Partial Evaluation. In PEPM. pages 11-20, 1994.

Abstract

Abstract is missing.