The essence of eta-expansion in partial evaluation (1995)

by Olivier Danvy, Karoline Malmkjaer, Jens Palsberg
Venue:LISP AND SYMBOLIC COMPUTATION