Type Inference Against Races.

Cormac Flanagan, Stephen N. Freund

Browse the full SAS paper archive.