Simple imperative polymorphism
- 1 December 1995
- journal article
- research article
- Published by Springer Nature in Higher-Order and Symbolic Computation
- Vol. 8 (4), 343-355
- https://doi.org/10.1007/bf01018828
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- Standard ML–NJ Weak Polymorphism and Imperative ConstructsInformation and Computation, 1996
- The Type and Effect DisciplineInformation and Computation, 1994
- Typing first-class continuations in MLJournal of Functional Programming, 1993
- Standard ML Weak Polymorphism Can Be SoundPublished by Defense Technical Information Center (DTIC) ,1993
- Polymorphism by name for references and continuationsPublished by Association for Computing Machinery (ACM) ,1993
- Explicit polymorphism and CPS conversionPublished by Association for Computing Machinery (ACM) ,1993
- Polymorphic type inference and assignmentPublished by Association for Computing Machinery (ACM) ,1991
- A simple semantics for ML polymorphismPublished by Association for Computing Machinery (ACM) ,1989
- Principal type-schemes for functional programsPublished by Association for Computing Machinery (ACM) ,1982
- A theory of type polymorphism in programmingJournal of Computer and System Sciences, 1978