Systematic search for lambda expressions.

Susumu Katayama

Published in: Trends in Functional Programming (2005)

Keyphrases

systematic search
constraint propagation
search algorithm
search methods
hill climbing
facial expressions
fixed point
greedy search
natural language
search space
state space
branch and bound