Susumu Katayama Systematic search for lambda expressions. 111-126 2005 conf/sfp/2005 Trends in Functional Programming db/conf/sfp/tfp2005.html#Katayama05