Object Types against Races.

Cormac Flanagan, Martn Abadi

Browse the full CONCUR paper archive.