Type-preserving compilation for large-scale optimizing object-oriented compilers (2008)

by J Chen, C Hawblitzel, F Perry, M Emmi, J Condit, D Coetzee, P Pratikaki
Venue:In PLDI