Static prediction of heap space usage for first-order functional programs (2003)

by M Hofmann, S Jost
Venue:In POPL ’03: Proceedings of the 30th ACM Symposium on Principles of Programming Languages