activity
20052026
most citedCoherence of Type Class Resolution

10 citations · 45 across the 26 of their papers we have counts for

collaborators
Showing 2009 · cs.PLShow all

1 paper · 2 filters

cs.PL2009★ 2 cited

As time goes by: Constraint Handling Rules - A survey of CHR research from 1998 to 2007

Jon Sneyers, Peter Van Weert, Tom Schrijvers +1

Constraint Handling Rules (CHR) is a high-level programming language based on multi-headed multiset rewrite rules. Originally designed for writing user-defined constraint solvers,…