most citedThe Chameleon Type Debugger (Tool Demonstration)

1 citations · 1 across the 2 of their papers we have counts for

collaborators

1 paper

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…