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