21 citations · 37 across the 9 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
cs.PL2014
Proceedings of the Eleventh Workshop on Constraint Handling Rules
Rémy Haemmerlé, Jon Sneyers
This volume contains the papers presented at the eleventh Workshop on Constraint Handling Rules (CHR 2014), which will be held in Vienna at the occasion of the Vienna Summer of Log…
cs.PL2014
On Termination, Confluence and Consistent CHR-based Type Inference
Gregory J. Duck, Remy Haemmerle, Martin Sulzmann
We consider the application of Constraint Handling Rules (CHR) for the specification of type inference systems, such as that used by Haskell. Confluence of CHR guarantees that the…