Mackay, Julian
(Te Herenga Waka—Victoria University of Wellington, 2013)
A significant issue in modern programming languages is unsafe aliasing. Modern type systems have attempted to address this in two prominent ways; immutability and ownership, and often a combination of the two [4][17].
The ...