Applied Type System: Extended Abstract

  title={Applied Type System: Extended Abstract},
  author={Hongwei Xi},
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.


Publications citing this paper.

89 Citations

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

See our FAQ for additional information.


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

Available at ̃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

Similar Papers

Loading similar papers…