"Combining Region Inference and Garbage Collection."

Niels Hallenberg, Martin Elsman, Mads Tofte (2002)
a service of Schloss Dagstuhl - Leibniz Center for Informatics