Atype-based analysis for block allocation in functional languages (1995)

by J Hannan
Venue:In Proceedings of the Second International Static Analysis Symposium.ACM, ACM