Automatic amortised analysis of dynamic memory allocation for lazy functional programs

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]

@inproceedings{SimoesVFJH12,
  title = {Automatic amortised analysis of dynamic memory allocation for lazy functional programs},
  author = {Hugo R. Simões and Pedro B. Vasconcelos and Mário Florido and Steffen Jost and Kevin Hammond},
  year = {2012},
  doi = {10.1145/2364527.2364575},
  url = {http://doi.acm.org/10.1145/2364527.2364575},
  researchr = {https://researchr.org/publication/SimoesVFJH12},
  cites = {0},
  citedby = {0},
  pages = {165-176},
  booktitle = {ACM SIGPLAN International Conference on Functional Programming, ICFP'12, Copenhagen, Denmark, September 9-15, 2012},
  editor = {Peter Thiemann and Robby Bruce Findler},
  publisher = {ACM},
  isbn = {978-1-4503-1054-3},
}