Ownership types for safe programming: preventing data races and deadlocks.

Chandrasekhar Boyapati, Robert Lee, Martin C. Rinard

Browse the full OOPSLA paper archive.