Overview of the Monadic Constraint Programming Framework

by Tom Schrijvers