Type Inference for Parameterized Race-Free Java.

Rahul Agarwal, Scott D. Stoller

Browse the full VMCAI paper archive.