On Termination, Confluence and Consistent CHR-based Type Inference.

Saved in:

Bibliographic Details
Title:	On Termination, Confluence and Consistent CHR-based Type Inference.
Authors:	DUCK, GREGORY J.¹ gregory@comp.nus.edu.sg, HAEMMERLÉ, RÉMY² Remy.Haemmerle@imdea.org, SULZMANN, MARTIN³ Martin.Sulzmann@hs-karlsruhe.de, Leuschel, Michael, Schrijvers, Tom
Source:	Theory & Practice of Logic Programming. Jul2014, Vol. 14 Issue 4/5, p619-632. 14p.
Database:	Mathematics Source

Description
ISSN:	14710684
DOI:	10.1017/S1471068414000246