Type reconstruction in finite rank fragments of the second-order λ-calculus
Open Access
- 1 June 1992
- journal article
- Published by Elsevier in Information and Computation
- Vol. 98 (2), 228-257
- https://doi.org/10.1016/0890-5401(92)90020-g
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Polymorphic type inference and containmentInformation and Computation, 1988
- The Expressiveness of Simple and Second-Order Type StructuresJournal of the ACM, 1983
- Functional Characters of Solvable TermsMathematical Logic Quarterly, 1981
- A theory of type polymorphism in programmingJournal of Computer and System Sciences, 1978
- A new type assignment for λ-termsArchive for Mathematical Logic, 1978