17 citations · 21 across the 4 of their papers we have counts for
4 papers
Type Inference for Guarded Recursive Data Types
Peter J. Stuckey, Martin Sulzmann
We consider type inference for guarded recursive data types (GRDTs) -- a recent generalization of algebraic data types. We reduce type inference for GRDTs to unification under a mi…
Improved Inference for Checking Annotations
Peter J Stuckey, Martin Sulzmann, Jeremy Wazny
We consider type inference in the Hindley/Milner system extended with type annotations and constraints with a particular focus on Haskell-style type classes. We observe that standa…
Removing Propagation Redundant Constraints in Redundant Modeling
Chiu Wo Choi, Jimmy Ho-Man Lee, Peter J. Stuckey
A widely adopted approach to solving constraint satisfaction problems combines systematic tree search with various degrees of constraint propagation for pruning the search space. O…
Finite Domain Bounds Consistency Revisited
Chiu Wo Choi, Warwick Harvey, Jimmy Ho-Man Lee +1
A widely adopted approach to solving constraint satisfaction problems combines systematic tree search with constraint propagation for pruning the search space. Constraint propagati…