The virtues of eta-expansion (1995)

by C Barry Jay, Neil Ghani
Venue:Journal of Functional Programming