Type inference for parameterized race-free java (2004)

by Rahul Agarwal, Scott D Stoller
Venue:In Proceedings of the Fifth International Conference on Verification, Model Checking and Abstract Interpretation