Type inclusion constraints and type inference
- 1 July 1993
- conference paper
- conference paper
- Published by Association for Computing Machinery (ACM)
Abstract
No abstract availableThis publication has 11 references indexed in Scilit:
- Solving systems of set constraintsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Efficient inference of partial typesJournal of Computer and System Sciences, 1994
- Soft typingPublished by Association for Computing Machinery (ACM) ,1991
- On understanding types, data abstraction, and polymorphismACM Computing Surveys, 1985
- Declaration-free type checkingPublished by Association for Computing Machinery (ACM) ,1985
- Coercion and type inferencePublished by Association for Computing Machinery (ACM) ,1984
- An ideal model for recursive polymorphic typesPublished by Association for Computing Machinery (ACM) ,1984
- A theory of type polymorphism in programmingJournal of Computer and System Sciences, 1978
- The principle type-scheme of an object in combinatory logicTransactions of the American Mathematical Society, 1969
- A Machine-Oriented Logic Based on the Resolution PrincipleJournal of the ACM, 1965