A logical analysis of aliasing in imperative higher-order functions (2005)

by M Berger, K Honda, N Yoshida
Venue:SIGPLAN Not