Systematic search for lambda expressions (2007)

by Susumu Katayama
Venue:Revised Selected Papers from the Sixth Symposium on Trends in Functional Programming, TFP 2005