Efficient Subtyping Tests with PQ-Encoding.

Yoav Zibin, Joseph Gil

Browse the full OOPSLA paper archive.