Monadic Constraint Programming (0)

by T Schrijvers, P Stuckey, P Wadler
Venue:Journal of Functional Programming