Binding-time analysis for Standard ML
- 1 September 1995
- journal article
- Published by Springer Nature in Higher-Order and Symbolic Computation
- Vol. 8 (3) , 191-208
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Efficient analyses for realistic off-line partial evaluationJournal of Functional Programming, 2008
- PERs from projections for binding-time analysisHigher-Order and Symbolic Computation, 1995
- Binding-time analysis and the taming of C pointers1993
- Efficient type inference for higher-order binding-time analysis1991
- Projection Factorisations in Partial Evaluation1991