A Polymorphic Type System for Extensible Records and Variants

  title={A Polymorphic Type System for Extensible Records and Variants},
  author={Benedict R. Gaster and Mark P. Jones},
Records and variants provide flexible ways to construct datatypes, but the restrictions imposed by practical type systems can prevent them from being used in flexible ways. These limitations are often the result of concerns about efficiency or type inference, or of the difficulty in providing accurate types for key operations. This paper describes a new type system that remedies these problems: it supports extensible records and variants, with a full complement of polymorphic operations on each… CONTINUE READING
Highly Influential
This paper has highly influenced 14 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 115 citations. REVIEW CITATIONS


Publications citing this paper.
Showing 1-10 of 76 extracted citations

115 Citations

Citations per Year
Semantic Scholar estimates that this publication has 115 citations based on the available data.

See our FAQ for additional information.


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

Report on the Programming Language Haskell, A Non-strict, Purely Functional Language (Version 1.3)

  • J. Peterson, K. Hammond
  • Technical Report YALEU/DCS/RR-1106,
  • 1996
Highly Influential
7 Excerpts

Qualified Types Theory and Practice. Distinguished Dissertations in Computer Science

  • M. P. Jones
  • 1994
Highly Influential
9 Excerpts

Extensible records without subsumption

  • R. W. Harper, B. C. Pierce
  • Technical Report CMU-CS- 90-102,
  • 1990
Highly Influential
3 Excerpts

Similar Papers

Loading similar papers…