Corrigendum: complete type interference for simple objects | IEEE Conference Publication | IEEE Xplore