Type Inference for Parameterized Race-Free Java (2004)

by Rahul Agarwal, Scott D Stoller
Venue:In VMCAI