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

by O Danvy, K Malmkj r, J Palsberg
Venue:Lisp and Symbolic Computation