Eta-Expansion does the Trick (1996)

by Olivier Danvy, Karoline Malmkjaer, Jens Palsberg
Venue:ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS