Applied Type System: Extended Abstract

@inproceedings{Xi2003AppliedTS,
  title={Applied Type System: Extended Abstract},
  author={Hongwei Xi},
  booktitle={TYPES},
  year={2003}
}
The framework Pure Type System (PTS) offers a simple and general approach to designing and formalizing type systems. However, in the presence of dependent types, there often exist some acute problems that make it difficult for PTS to accommodate many common realistic programming features such as general recursion, recursive types, effects (e.g., exceptions, references, input/output), etc. In this paper, we propose a new framework Applied Type System (ATS) to allow for designing and formalizing… CONTINUE READING
Highly Cited
This paper has 89 citations. REVIEW CITATIONS
Related Discussions
This paper has been referenced on Twitter 2 times. VIEW TWEETS

From This Paper

Figures, tables, and topics from this paper.

Citations

Publications citing this paper.

89 Citations

01020'03'06'10'14'18
Citations per Year
Semantic Scholar estimates that this publication has 89 citations based on the available data.

See our FAQ for additional information.

References

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

Available at http://www.cs.bu.edu/ ̃hwxi/GRecTypecon

Hongwei Xi, Chiyan Chen, Gang Chen
Guarded Recursive Datatype Constructors, • 2002

Indexed Types

Theor. Comput. Sci. • 1997

Mendler . Recursive types and type constraints in second - order lambda calculus

P. N.
Qualified Types : Theory and Practice • 1994

Qualified Types: Theory and Practice

Mark P. Jones
1994

Similar Papers

Loading similar papers…