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]

Authors

Hugo R. Simões

This author has not been identified. Look up 'Hugo R. Simões' in Google

Pedro B. Vasconcelos

This author has not been identified. Look up 'Pedro B. Vasconcelos' in Google

Mário Florido

This author has not been identified. Look up 'Mário Florido' in Google

Steffen Jost

This author has not been identified. Look up 'Steffen Jost' in Google

Kevin Hammond

This author has not been identified. It may be one of the following persons: Look up 'Kevin Hammond' in Google