Set Based Analysis of ML Programs (1994)

by N Heintze
Venue:In Proceedings of the 1994 ACM Conference on LISP and Functional Programming