A logical analysis of aliasing in imperative higher-order functions.

Martin Berger, Kohei Honda, Nobuko Yoshida

Browse the full ICFP paper archive.