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