Precision in practice: A type-preserving Java compiler (2003)

by C League, Z Shao, V Trifonov
Venue:In Proc. Int’l. Conf. on Compiler Construction