Normal forms have partial types
- 25 January 1993
- journal article
- Published by Elsevier in Information Processing Letters
- Vol. 45 (1) , 1-3
- https://doi.org/10.1016/0020-0190(93)90243-3
Abstract
No abstract availableKeywords
This publication has 1 reference indexed in Scilit:
- Efficient inference of partial typesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1992