Type-Safe Compilation of Covariant Specialization: A Practical Case.

John Boyland, Giuseppe Castagna

Browse the full ECOOP paper archive.