my.bib
@phdthesis{bac-thesis08,
title = {Type-based amortized stack memory prediction},
author = {Brian Campbell},
school = {University of Edinburgh},
year = 2008
}
@inproceedings{bac-giveback08,
title = {Prediction of linear memory usage for first-order functional programs},
author = {Brian Campbell},
booktitle = {Trends in Functional Programming},
volume = 9,
year = 2008,
note = {To appear}
}
@inproceedings{bac-esop09,
title = {Amortised Memory Analysis using the Depth of Data Structures},
author = {Brian Campbell},
booktitle = {Programming Languages and Systems: 18th European Symposium on Programming (ESOP 2009)},
pages = {190--204},
year = 2009,
editor = {Giuseppe Castagna},
volume = 5502,
series = {Lecture Notes in Computer Science},
publisher = {Springer-Verlag},
doi = {10.1007/978-3-642-00590-9_14}
}