Type inference against races (2004)

by Cormac Flanagan , Stephen N. Freund
Venue:In SAS
Citations:42 - 4 self