Parametric overloading in polymorphic programming languages
- 1 January 1988
- book chapter
- Published by Springer Nature
- p. 131-144
- https://doi.org/10.1007/3-540-19027-9_9
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- The PSG system: from formal language definitions to interactive programming environmentsACM Transactions on Programming Languages and Systems, 1986
- A simple applicative language: mini-MLPublished by Association for Computing Machinery (ACM) ,1986
- Miranda: A non-strict functional language with polymorphic typesLecture Notes in Computer Science, 1985
- Coercion and type inferencePublished by Association for Computing Machinery (ACM) ,1984
- An ideal model for recursive polymorphic typesPublished by Association for Computing Machinery (ACM) ,1984
- A proposal for standard MLPublished by Association for Computing Machinery (ACM) ,1984
- Principal type-schemes for functional programsPublished by Association for Computing Machinery (ACM) ,1982