1 citations · 1 across the 1 of their papers we have counts for
1 paper
Philipp Haller, Alexandre Loiko
Aliasing is a known source of challenges in the context of imperative object-oriented languages, which have led to important advances in type systems for aliasing control. However,…