Type inference against races (0)

by Cormac Flanagan, Stephen N Freund
Venue:Sci. Comput. Program