Set-based analysis of ML programs (1994)

by N Heintze
Venue:In LFP 94: LISP and Functional Programming