Semi-Explicit First-Class Polymorphism for ML
- 1 November 1999
- journal article
- Published by Elsevier in Information and Computation
- Vol. 155 (1-2) , 134-169
- https://doi.org/10.1006/inco.1999.2830
Abstract
No abstract availableKeywords
This publication has 1 reference indexed in Scilit:
- Polymorphic type inference and abstract data typesACM Transactions on Programming Languages and Systems, 1994