Systematic search for lambda expressions (1998)

by Susumu Katayama
Venue:Trends in Functional Programming, volume 6 of Trends in Functional Programming