Wandering through linear types, capabilities, and regions [pdf]pauillac.inria.fr1 pointgbrown_8 years ago