[1]	Brian Campbell. Prediction of linear memory usage for first-order functional programs. In Trends in Functional Programming, volume 9, 2008. To appear. [ bib ]
[2]	Brian Campbell. Type-based amortized stack memory prediction. PhD thesis, University of Edinburgh, 2008. [ bib ]
[3]	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. [ bib | DOI ]