197 citations · 197 across the 2 of their papers we have counts for
1 paper · 1 filter
Martin Mueller, Joachim Niehren
We introduce constraints necessary for type checking a higher-order concurrent constraint language, and solve them with an incremental algorithm. Our constraint system extends rati…