Set based analysis of ML programs (1994)

by Nevin Heintze
Venue:In Proceedings of the SIGPLAN Conference on Lisp and Functional Programming