Type reconstruction in the presence of polymorphic recursion
- 1 April 1993
- journal article
- Published by Association for Computing Machinery (ACM) in ACM Transactions on Programming Languages and Systems
- Vol. 15 (2) , 290-311
- https://doi.org/10.1145/169701.169687
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- A theory of type polymorphism in programmingPublished by Elsevier ,2003
- An analysis of ML typabilityJournal of the ACM, 1994
- The Undecidability of the Semi-unification ProblemInformation and Computation, 1993
- Type reconstruction in finite rank fragments of the second-order λ-calculusInformation and Computation, 1992
- On the expressive power of finitely typed and universally polymorphic recursive proceduresTheoretical Computer Science, 1992
- Polymorphic type inference and containmentInformation and Computation, 1988
- Investor Psychology and Market InefficienciesICFA Continuing Education Series, 1988
- Detecting looping simplificationsPublished by Springer Nature ,1987
- Polymorphic type schemes and recursive definitionsPublished by Springer Nature ,1984