Type Classes and Constraint Handling Rules (2000)

by Kevin Glynn, Peter J. Stuckey, Martin Sulzmann
Venue:In First Workshop on Rule-Based Constraint Reasoning and Programming