Adding Constraint Handling Rules to Curry

Michael Hanus. Adding Constraint Handling Rules to Curry. In Michael Fink, Hans Tompits, Stefan Woltran, editors, 20th Workshop on Logic Programming, Vienna, Austria, February 22--24, 2006. Volume 1843-06-02 of INFSYS Research Report, pages 81-90, Technische Universität Wien, Austria, 2006. [doi]

Authors

Michael Hanus

Identified as Michael Hanus