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

by M Berger, K Honda, N Yoshida
Venue:International Conference on Functional Programming, ICFP’05