51 citations · 80 across the 12 of their papers we have counts for
1 paper · 2 filters
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…