Type Classes and Constraint Handling Rules

@article{Glynn2000TypeCA,
  title={Type Classes and Constraint Handling Rules},
  author={Kevin Glynn and Martin Sulzmann and Peter J. Stuckey},
  journal={CoRR},
  year={2000},
  volume={cs.PL/0006034}
}
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 overloading of symbols. Haskell 98 supports only single-parameter and constructor type classes. Other extensions such as multi-parameter type classes are highly desired but are still not officially supported by Haskell. Subtle issues arise with extensions, which may lead to a loss of feasible type inference or ambiguous… CONTINUE READING
Highly Cited
This paper has 18 citations. REVIEW CITATIONS

From This Paper

Figures, tables, results, connections, and topics extracted from this paper.
13 Extracted Citations
10 Extracted References
Similar Papers

Referenced Papers

Publications referenced by this paper.

Similar Papers

Loading similar papers…