Vincent Bouchitté;Michel Morvan
-;-
Efficient subtyping tests with PQ-encoding
ACM Transactions on Programming Languages and Systems (TOPLAS)