Ecient subtyping tests with pq-encoding (0)

by Y Zibin, Y Gil
Venue:In Proceedings of OOPSLA'2001, 2001. ha l-0 6, v er sio n - 1 M ar