Improving the static analysis of embedded languages via partial evaluation.

David Herman, Philippe Meunier

Browse the full ICFP paper archive.