Efficient subtyping tests with PQ-encoding (2005)

by J Gil, Y Zibin
Venue:ACM Trans. Program. Lang. Syst