An alias-based formulation of the borrow checker (2018) | Heykuki News