Michael Hanus. Lazy and Enforceable Assertions for Functional Logic Programs. In Julio Mariño, editor, Functional and Constraint Logic Programming - 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers. Volume 6559 of Lecture Notes in Computer Science, pages 84-100, Springer, 2010. [doi]
Abstract is missing.