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}
}