Hanne Riis Nielson. Systematic realisation of control flow analyses for CML (1997)

by Kirsten L Solberg Gasser, Flemming Nielson
Venue:In Mads Tofte, editor, Proceedings of the 1997 ACM SIGPLAN International Conference on Functional Programming