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

Pedro B. Vasconcelos, Steffen Jost, Mrio Florido, Kevin Hammond

Browse the full ESOP paper archive.