Type-Based Allocation Analysis for Co-recursion in Lazy Functional Languages

Pedro B. Vasconcelos, Steffen Jost, Mário Florido, Kevin Hammond. Type-Based Allocation Analysis for Co-recursion in Lazy Functional Languages. In Jan Vitek, editor, Programming Languages and Systems - 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. Proceedings. Volume 9032 of Lecture Notes in Computer Science, pages 787-811, Springer, 2015. [doi]

Authors

Pedro B. Vasconcelos

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

Steffen Jost

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

Mário Florido

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

Kevin Hammond

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