A modular, polyvariant and type-based closure analysis (1997)

by A Banerjee
Venue:In Proceedings of the 2nd ACM SIGPLAN International Conf. on Functional Programming