A type soundness proof for variables in LCF ML
- 10 November 1995
- journal article
- Published by Elsevier in Information Processing Letters
- Vol. 56 (3) , 141-146
- https://doi.org/10.1016/0020-0190(95)00146-4
Abstract
No abstract availableKeywords
This publication has 2 references indexed in Scilit:
- A simplified account of polymorphic referencesInformation Processing Letters, 1994
- Type inference for polymorphic referencesInformation and Computation, 1990