"Parametric heap usage analysis for functional programs."

Leena Unnikrishnan, Scott D. Stoller (2009)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics