■ Reference. Automatic Space Bound Analysis for Functional Programs with Garbage Collection [niu-hoffmann]November 2018Yue Niu, Jan HoffmannLPAR '18doi:10.29007/xkwxAppears in Publications .