Wandering through linear types, capabilities, and regions [pdf]pauillac.inria.fr1 point·kiriakasis··0 commentsOpen articleSaveView on HN