A type-based compiler for standard ML
- 1 June 1995
- proceedings article
- Published by Association for Computing Machinery (ACM)
- Vol. 30 (6), 116-129
- https://doi.org/10.1145/207110.207123
Abstract
No abstract availableThis publication has 12 references indexed in Scilit:
- Compiling polymorphism using intensional type analysisPublished by Association for Computing Machinery (ACM) ,1995
- Formally optimal boxingPublished by Association for Computing Machinery (ACM) ,1994
- A type-theoretic approach to higher-order modules with sharingPublished by Association for Computing Machinery (ACM) ,1994
- Space-efficient closure representationsPublished by Association for Computing Machinery (ACM) ,1994
- Callee-save registers in continuation-passing styleHigher-Order and Symbolic Computation, 1992
- Unboxed objects and polymorphic typingPublished by Association for Computing Machinery (ACM) ,1992
- A runtime systemHigher-Order and Symbolic Computation, 1990
- Customization: optimizing compiler technology for SELF, a dynamically-typed object-oriented programming languagePublished by Association for Computing Machinery (ACM) ,1989
- Continuation-passing, closure-passing stylePublished by Association for Computing Machinery (ACM) ,1989
- Principal type-schemes for functional programsPublished by Association for Computing Machinery (ACM) ,1982