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

by C League, Z Shao, V Trifonov
Venue:In International Conference on Compiler Construction