Automatic amortised analysis of dynamic memory allocation for lazy functional programs.

Hugo R. Simes, Pedro B. Vasconcelos, Mrio Florido, Steffen Jost, Kevin Hammond

Browse the full ICFP paper archive.