Ownership Types for Object Synchronisation.

Yi Lu, John Potter, Jingling Xue

Browse the full APLAS paper archive.