Improving the static analysis of embedded languages via partial evaluation (2004)

by D Herman, P Meunier
Venue:In ACM SIGPLAN International Conference on Functional Programming (ICFP