A time-aware type system for data-race protection and guaranteed initialization.

Nicholas D. Matsakis, Thomas R. Gross

Browse the full OOPSLA paper archive.