Hugo R. Simões, Pedro B. Vasconcelos, Mário Florido, Steffen Jost, Kevin Hammond. Automatic amortised analysis of dynamic memory allocation for lazy functional programs. In Peter Thiemann, Robby Bruce Findler, editors, ACM SIGPLAN International Conference on Functional Programming, ICFP'12, Copenhagen, Denmark, September 9-15, 2012. pages 165-176, ACM, 2012. [doi]