1 citations · 1 across the 2 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
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…
cs.PL2003★ 1 cited
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…