TY  - RPRT
TI  - On Termination, Confluence and Consistent CHR-based Type Inference
AU  - Gregory J. Duck
AU  - Remy Haemmerle
AU  - Martin Sulzmann
PY  - 2014
DO  - 10.1017/s1471068414000246
UR  - https://arxiv.org/abs/1405.3393
ID  - 1405.3393
ER  -