Type classes and constraint handling rules (2000)

by K Glynn, P Stuckey, M Sulzmann
Venue:In First Workshop on Rule-Based Constraint Reasoning and Programming