TY  - RPRT
TI  - Type Classes and Constraint Handling Rules
AU  - Kevin Glynn
AU  - Martin Sulzmann
AU  - Peter J. Stuckey
PY  - 2000
UR  - https://arxiv.org/abs/cs/0006034
ID  - cs/0006034
ER  -