A Practical and Flexible Flow Analysis for Higher-Order Languages.

J. Michael Ashley

Browse the full POPL paper archive.