Safety analysis versus type inference for partial types
- 28 September 1992
- journal article
- Published by Elsevier in Information Processing Letters
- Vol. 43 (4) , 175-180
- https://doi.org/10.1016/0020-0190(92)90196-3
Abstract
No abstract availableKeywords
This publication has 2 references indexed in Scilit:
- A theory of type polymorphism in programmingPublished by Elsevier ,2003
- Efficient inference of partial typesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1992