A note on “A simplified account of polymorphic references”
- 15 January 1996
- journal article
- Published by Elsevier in Information Processing Letters
- Vol. 57 (1) , 15-16
- https://doi.org/10.1016/0020-0190(95)00178-6
Abstract
No abstract availableThis publication has 4 references indexed in Scilit:
- A theory of type polymorphism in programmingPublished by Elsevier ,2003
- A Syntactic Approach to Type SoundnessInformation and Computation, 1994
- A simplified account of polymorphic referencesInformation Processing Letters, 1994
- Type inference for polymorphic referencesInformation and Computation, 1990