Leena Unnikrishnan Scott D. Stoller Parametric heap usage analysis for functional programs. 139-148 2009 ISMM http://doi.acm.org/10.1145/1542431.1542451 conf/iwmm/2009 db/conf/iwmm/ismm2009.html#UnnikrishnanS09