Simplifying subtyping constraints
- 15 June 1996
- proceedings article
- Published by Association for Computing Machinery (ACM)
- Vol. 31 (6) , 122-133
- https://doi.org/10.1145/232627.232642
Abstract
No abstract availableThis publication has 7 references indexed in Scilit:
- Efficient inference of object typesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Sound polymorphic type inference for objectsPublished by Association for Computing Machinery (ACM) ,1995
- A type system equivalent to flow analysisPublished by Association for Computing Machinery (ACM) ,1995
- Type inclusion constraints and type inferencePublished by Association for Computing Machinery (ACM) ,1993
- Subtyping recursive typesPublished by Association for Computing Machinery (ACM) ,1991
- Coercion and type inferencePublished by Association for Computing Machinery (ACM) ,1984
- A semantics of multiple inheritanceLecture Notes in Computer Science, 1984