activity
20002005
most citedType Inference for Guarded Recursive Data Types

17 citations · 18 across the 3 of their papers we have counts for

collaborators
Showing 2005Show all

2 papers · 1 filter

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…