A type-based analysis for stack allocation in functional languages (1995)

by U81 J Hannan
Venue:In Proc. 2nd International Static Analysis Symposium