The virtues of eta-expansion (1995)

by C B Jay, N Ghani
Venue:Journal of Functional Programming