Aliasing Control in an Imperative Pure Calculus.

Marco Servetto, Elena Zucca

Browse the full APLAS paper archive.