On determining the lifetime and aliasing of dynamically allocated data in higher-order functional specifications (1990)

by A Deutch
Venue:In Proceedings of the 1990 POPL