Making the future safe for the past
- 1 October 1998
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Notices
- Vol. 33 (10) , 183-200
- https://doi.org/10.1145/286942.286957
Abstract
No abstract availableThis publication has 11 references indexed in Scilit:
- A theory of type polymorphism in programmingPublished by Elsevier ,2003
- Compatible genericity with run-time types for the Java programming languagePublished by Association for Computing Machinery (ACM) ,1998
- Local type inferencePublished by Association for Computing Machinery (ACM) ,1998
- Genericity in java with virtual typesPublished by Springer Nature ,1997
- Pizza into JavaPublished by Association for Computing Machinery (ACM) ,1997
- Simple imperative polymorphismHigher-Order and Symbolic Computation, 1995
- Sound polymorphic type inference for objectsPublished by Association for Computing Machinery (ACM) ,1995
- StrongtalkPublished by Association for Computing Machinery (ACM) ,1993
- Type inclusion constraints and type inferencePublished by Association for Computing Machinery (ACM) ,1993
- F-bounded polymorphism for object-oriented programmingPublished by Association for Computing Machinery (ACM) ,1989