DMCA

Under consideration for publication in J. Functional Programming 1 A Logical Analysis of Aliasing in Imperative Higher-Order Functions

by Martin Berger , Kohei Honda , Nobuko Yoshida