Type inference in polymorphic type discipline
- 1 January 1991
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- On the logic of unificationJournal of Symbolic Computation, 1989
- Principal type scheme and unification for intersection type disciplineTheoretical Computer Science, 1988
- Polymorphic type inference and containmentInformation and Computation, 1988
- Partial polymorphic type inference and higher-order unificationPublished by Association for Computing Machinery (ACM) ,1988
- Polymorphic type inferencePublished by Association for Computing Machinery (ACM) ,1983
- Principal type-schemes for functional programsPublished by Association for Computing Machinery (ACM) ,1982
- Towards a theory of type structureLecture Notes in Computer Science, 1974
- The Principal Type-Scheme of an Object in Combinatory LogicTransactions of the American Mathematical Society, 1969
- Modified basic functionality in combinatory logicDialectica, 1969
- A Machine-Oriented Logic Based on the Resolution PrincipleJournal of the ACM, 1965