Extensible encoding of type hierarchies.

Hamed S. Alavi, Seth Gilbert, Rachid Guerraoui

Browse the full POPL paper archive.