17 citations · 22 across the 5 of their papers we have counts for
4 papers · 1 filter
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…
The Chameleon Type Debugger (Tool Demonstration)
Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny
In this tool demonstration, we give an overview of the Chameleon type debugger. The type debugger's primary use is to identify locations within a source program which are involved…
Type Classes and Constraint Handling Rules
Kevin Glynn, Martin Sulzmann, Peter J. Stuckey
Type classes are an elegant extension to traditional, Hindley-Milner based typing systems. They are used in modern, typed languages such as Haskell to support controlled overloadin…