Brian Campbell. Type-based amortized stack memory prediction. PhD thesis, University of Edinburgh, 2008. [ bib | .pdf ]

Brian Campbell. Prediction of linear memory usage for first-order functional programs. In Peter Achten, Pieter Koopman, and Marco T. Morazán, editors, Trends in Functional Programming, volume 9, pages 1--16. Intellect, 2009. [ bib | slides ]

Brian Campbell. Amortised memory analysis using the depth of data structures. In Giuseppe Castagna, editor, Programming Languages and Systems: 18th European Symposium on Programming (ESOP 2009), volume 5502 of Lecture Notes in Computer Science, pages 190--204. Springer-Verlag, 2009. Copyright Springer-Verlag Berlin Heidelberg 2009. [ bib | DOI | Author's version | slides ]