A logical analysis of aliasing in imperative higher-order functions - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Martin Berger, Kohei Honda, Nobuko Yoshida. A logical analysis of aliasing in imperative higher-order functions. In Olivier Danvy, Benjamin C. Pierce, editors, Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, ICFP 2005, Tallinn, Estonia, September 26-28, 2005. pages 280-293, ACM, 2005. [doi]

This author has not been identified. Look up 'Martin Berger' in GoogleThis author has not been identified. Look up 'Kohei Honda' in GoogleThis author has not been identified. Look up 'Nobuko Yoshida' in Google

runs on WebDSL