Category: Papers 2012 Type system for borrowing permissions Sep 26 2012 Permission regions for race-free parallelism Apr 25 2012