Binding-time analysis for Standard ML

This publication has 6 references indexed in Scilit:

• Binding-time analysis: abstract interpretation versus type inference
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• PERs from projections for binding-time analysis
  Higher-Order and Symbolic Computation, 1995
• Efficient analyses for realistic off-line partial evaluation
  Journal of Functional Programming, 1993
• Binding-time analysis and the taming of C pointers
  Published by Association for Computing Machinery (ACM) ,1993
• Efficient type inference for higher-order binding-time analysis
  Published by Springer Nature ,1991
• Projection Factorisations in Partial Evaluation
  Published by Cambridge University Press (CUP) ,1991