Safety analysis versus type inference for partial types
- 28 September 1992
- journal article
- Published by Elsevier BV 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:
- Efficient inference of partial typesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1992
- A theory of type polymorphism in programmingJournal of Computer and System Sciences, 1978