Recursive subtyping revealed
- 1 September 2000
- conference paper
- Published by Association for Computing Machinery (ACM)
- Vol. 35 (9) , 221-231
- https://doi.org/10.1145/351240.351261
Abstract
No abstract availableThis publication has 11 references indexed in Scilit:
- Concurrency and automata on infinite sequencesPublished by Springer Nature ,2005
- Regular expression types for XMLPublished by Association for Computing Machinery (ACM) ,2000
- What is a recursive module?Published by Association for Computing Machinery (ACM) ,1999
- Subtyping recursive typesACM Transactions on Programming Languages and Systems, 1993
- Recursive types are not conservative over F≤Published by Springer Nature ,1993
- Co-induction in relational semanticsTheoretical Computer Science, 1991
- Type inference with recursive types: Syntax and semanticsInformation and Computation, 1991
- Fundamental properties of infinite treesTheoretical Computer Science, 1983
- A Calculus of Communicating SystemsLecture Notes in Computer Science, 1980
- A lattice-theoretical fixpoint theorem and its applicationsPacific Journal of Mathematics, 1955