Eta-expansion does The Trick. - Danvy, Olivier; Malmkjær, Karoline; Palsberg, Jens (ACM Transactions on Programming Languages & Systems, 1996)