Set-based analysis of ML programs (1994)

by Nevin Heintze
Venue:SIGPLAN Lisp Pointers, VII(3):306–317