Dynamics in ML
- 1 January 1991
- book chapter
- Published by Springer Nature
- p. 406-426
- https://doi.org/10.1007/3540543961_20
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Tag-free garbage collection for strongly typed programming languagesPublished by Association for Computing Machinery (ACM) ,1991
- Safe run-time overloadingPublished by Association for Computing Machinery (ACM) ,1990
- Runtime tags aren't necessaryHigher-Order and Symbolic Computation, 1989
- Dynamic typing in a statically-typed languagePublished by Association for Computing Machinery (ACM) ,1989
- How to make ad-hoc polymorphism less ad hocPublished by Association for Computing Machinery (ACM) ,1989
- AmberLecture Notes in Computer Science, 1986
- Principal type-schemes for functional programsPublished by Association for Computing Machinery (ACM) ,1982