Monadification of functional programs. Sci. Comput. Program., 52(1-3):101-129, 2004. [3] T. Fr"uhwirth. Constraint handling rules (1995)

by M Erwig, D Ren
Venue:In Constraint Programming: Basics and Trends, LNCS