Ownership types for safe programming: Preventing data races and deadlocks (2002)

by C Boyapati, R Lee, M Rinard
Venue:In Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA