Wandering through linear types, capabilities and regions (2007) [pdf]pauillac.inria.fr2 pointsyomritoyj8 years ago