Modular lazy search for constraint satisfaction problems (0)

by Thomas Nordin, Andrew Tolmach
Venue:Journal of Functional Programming