Duck, Gregory J.; Haemmerlé, Rémy; Sulzmann, Martin On termination, confluence and consistent CHR-based type inference. (English) Zbl 1309.68031 Theory Pract. Log. Program. 14, No. 4-5, 619-632 (2014). MSC: 68N17 68N18 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Sulzmann, Martin; Stuckey, Peter J. \(\mathrm{HM}(X)\) type inference is \(\mathrm{CLP}(X)\) solving. (English) Zbl 1142.68021 J. Funct. Program. 18, No. 2, 251-283 (2008). MSC: 68N18 × Cite Format Result Cite Review PDF Full Text: DOI