A constraint-based approach to guarded algebraic data types

@article{Simonet2007ACA,
  title={A constraint-based approach to guarded algebraic data types},
  author={Vincent Simonet and François Pottier},
  journal={ACM Trans. Program. Lang. Syst.},
  year={2007},
  volume={29},
  pages={1}
}
We study HMG(X), an extension of the constraint-based type system HM(X) with deep pattern matching, polymorphic recursion, and guarded algebraic data types. Guarded algebraic data types subsume the concepts known in the literature as indexed types, guarded recursive datatype constructors, (first-class) phantom types, and equality qualified types, and are closely related to inductive types. Their characteristic property is to allow every branch of a case construct to be typechecked under… CONTINUE READING
Highly Cited
This paper has 36 citations. REVIEW CITATIONS

References

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

Qualified Types: Theory and Practice

M. P. Jones
Cambridge University Press. • 1994
View 9 Excerpts
Highly Influenced

Fun with phantom types

R. Hinze
The Fun of Programming, J. Gibbons and O. de Moor, Eds. Palgrave Macmillan, 245–262. • 2003
View 16 Excerpts
Highly Influenced

A lightweight implementation of generics and dynamics

Haskell '02 • 2002
View 5 Excerpts
Highly Influenced

Polymorphic Type Inference and Abstract Data Types

ACM Trans. Program. Lang. Syst. • 1994
View 4 Excerpts
Highly Influenced

Type Inference with Polymorphic Recursion

ACM Trans. Program. Lang. Syst. • 1993
View 7 Excerpts
Highly Influenced

Constrained quantification in polymorphic type analysis

P. Curtis
Ph.D. thesis, Cornell University. • 1990
View 5 Excerpts
Highly Influenced

How to Make ad-hoc Polymorphism Less ad-hoc

View 8 Excerpts
Highly Influenced

Similar Papers

Loading similar papers…