A flexible type system for fearless concurrency.

Mae Milano, Joshua Turcotti, Andrew C. Myers

Browse the full PLDI paper archive.