Polymorphic type schemes and recursive definitions
- 1 January 1984
- book chapter
- Published by Springer Nature
- p. 217-228
- https://doi.org/10.1007/3-540-12925-1_41
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- A theory of type polymorphism in programmingPublished by Elsevier ,2003
- An ideal model for recursive polymorphic typesPublished by Association for Computing Machinery (ACM) ,1984
- Principal type-schemes for functional programsPublished by Association for Computing Machinery (ACM) ,1982
- A semantic model of types for applicative languagesPublished by Association for Computing Machinery (ACM) ,1982
- HOPEPublished by Association for Computing Machinery (ACM) ,1980
- Edinburgh LCFLecture Notes in Computer Science, 1979
- A Machine-Oriented Logic Based on the Resolution PrincipleJournal of the ACM, 1965