Static Prediction of Heap Space Usage for First-Order Functional Programs (2003)

by M Hofmann, S Jost
Venue:In POPL’03 — Symposium on Principles of Programming Languages