Type inference for GADTs via Herbrand constraint abduction

  title={Type inference for GADTs via Herbrand constraint abduction},
  author={Martin Sulzmann and Tom Schrijvers and Peter J. Stuckey},
Type inference for Hindley/Milner and variants is well understood as a constraint solving problem. Recent extensions to Hindley/Milner such as generalized algebraic data types (GADTs) force us to go beyond this approach to inference. In this paper we show how to perform type inference for GADTs using Herbrand constraint abduction, a solving method to infer missing facts in terms of Herbrand constraints, i.e. conjunctions of type equations. But typeinference for GADTs is very hard, we are the… CONTINUE READING
Highly Cited
This paper has 22 citations. REVIEW CITATIONS


Publications referenced by this paper.
Showing 1-10 of 25 references

Lexically scoped type annotations. http://www.comp.nus.edu.sg/ ̃ sulzmann

  • M. Sulzmann, J. Wazny
  • 2005
2 Excerpts

Similar Papers

Loading similar papers…