On Determining Lifetime and Aliasing of Dynamically Allocated Data in Higher{Order Functional Speci (0)

by A Deutsch
Venue:Proc. 17th POPL, 157{168