Contractive Signatures with Recursive Types, Type Parameters, and Abstract Types

@inproceedings{Im2013ContractiveSW,
  title={Contractive Signatures with Recursive Types, Type Parameters, and Abstract Types},
  author={Hyeonseung Im and Keiko Nakata and Sungwoo Park},
  booktitle={ICALP},
  year={2013}
}
Although theories of equivalence or subtyping for recursive types have been extensively investigated, sophisticated interaction between recursive types and abstract types has gained little attention. The key idea behind type theories for recursive types is to use syntactic contractiveness, meaning every μ-bound variable occurs only under a type constructor such as→ or ∗. This syntactic contractiveness guarantees the existence of the unique solution of recursive equations and thus has been… CONTINUE READING

Citations

Publications citing this paper.

References

Publications referenced by this paper.

Similar Papers

Loading similar papers…