Searching for "A logical analysis of aliasing in imperative higher-order functions." – sorted by Relevance.
-
A Logical Analysis of Aliasing in Imperative Higher-Order Functions
- A Logical Analysis of Aliasing in Imperative Higher-Order Functions Martin Berger 1 , Kohei Honda
- Cited by 20 (2 self) – Add To MetaCart

