Polymorphic bytecode: compositional compilation for Java-like languages