Type-Extension Type Test Can be Performed in Constant TimeNorman H. Cohen1991ACM Transactions on Programming Languages and Systems (TOPLAS)