Type-preserving compilation for large-scale optimizing object-oriented compilers.

Juan Chen, Chris Hawblitzel, Frances Perry, Michael Emmi, Jeremy Condit, Derrick Coetzee, Polyvios Pratikakis

Browse the full PLDI paper archive.