17 citations · 22 across the 5 of their papers we have counts for
Showing 2005 · cs.PLShow all
2 papers · 2 filters
cs.PL2005★ 17 cited
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…
cs.PL2005
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…