Type Information Elimination from Objects on Architectures with Tagged Pointers Support | IEEE Journals & Magazine | IEEE Xplore