"Look Ma, No Hashing, And No Arrays Neither".

Jiazhen Cai, Robert Paige

Browse the full POPL paper archive.