Subtype inequalities
- 2 January 2003
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 308-315
- https://doi.org/10.1109/lics.1992.185543
Abstract
No abstract availableThis publication has 4 references indexed in Scilit:
- Type inference with subtypesTheoretical Computer Science, 1990
- On the complexity of type inference with coercionPublished by Association for Computing Machinery (ACM) ,1989
- On the sequential nature of unificationThe Journal of Logic Programming, 1984
- Coercion and type inferencePublished by Association for Computing Machinery (ACM) ,1984