Cooperative types for controlling thread interference in Java.

Jaeheon Yi, Tim Disney, Stephen N. Freund, Cormac Flanagan

Browse the full ISSTA paper archive.