The typechecking of programs with implicit type structure
- 1 January 1984
- book chapter
- Published by Springer Nature
- p. 301-315
- https://doi.org/10.1007/3-540-13346-1_15
Abstract
No abstract availableThis publication has 3 references indexed in Scilit:
- Polymorphic type inferencePublished by Association for Computing Machinery (ACM) ,1983
- Functional Characters of Solvable TermsMathematical Logic Quarterly, 1981
- Towards a theory of type structureLecture Notes in Computer Science, 1974