Polymorphic bytecode: compositional compilation for Java-like languages.

Davide Ancona, Ferruccio Damiani, Sophia Drossopoulou, Elena Zucca

Browse the full POPL paper archive.