Login / Signup

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

Nicholas D. MatsakisThomas R. Gross
Published in: OOPSLA (2010)
Keyphrases