Efficient fail-fast dynamic subtype checking.

Rohan Padhye, Koushik Sen

Browse the full OOPSLA paper archive.