Polymorphic subtype inference: Closing the theory-practice gap
- 1 January 1989
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 167-183
- https://doi.org/10.1007/3-540-50940-2_35
Abstract
No abstract availableThis publication has 3 references indexed in Scilit:
- A theory of type polymorphism in programmingPublished by Elsevier ,2003
- Type inference with subtypesPublished by Springer Nature ,1988
- Coercion and type inferencePublished by Association for Computing Machinery (ACM) ,1984