Flexible representation analysis
- 1 August 1997
- proceedings article
- Published by Association for Computing Machinery (ACM)
Abstract
No abstract availableThis publication has 18 references indexed in Scilit:
- TILPublished by Association for Computing Machinery (ACM) ,1996
- Fast, effective dynamic compilationPublished by Association for Computing Machinery (ACM) ,1996
- A type-based compiler for standard MLPublished by Association for Computing Machinery (ACM) ,1995
- Compiling polymorphism using intensional type analysisPublished by Association for Computing Machinery (ACM) ,1995
- Unboxed values and polymorphic typing revisitedPublished by Association for Computing Machinery (ACM) ,1995
- A critique of Standard MLJournal of Functional Programming, 1993
- On the type structure of standard MLACM Transactions on Programming Languages and Systems, 1993
- An ad hoc approach to the implementation of polymorphismACM Transactions on Programming Languages and Systems, 1991
- Standard ML of New JerseyPublished by Springer Nature ,1991
- A simple applicative language: mini-MLPublished by Association for Computing Machinery (ACM) ,1986