A Logical Analysis of Aliasing in Imperative Higher-Order Functions (2005)

by Martin Berger , Kohei Honda , Nobuko Yoshida
Venue:INTERNATIONAL CONFERENCE ON FUNCTIONAL PROGRAMMING, ICFP’05
Citations:28 - 3 self