PublicationACM Transactions on Programming Languages and Systems (TOPLAS)PaperType-Extension Type Test Can be Performed in Constant TimeACM Transactions on Programming Languages and Systems (TOPLAS)Download paperAbstractNo abstract available.Home↳ PublicationsDate10 Jan 1991PublicationACM Transactions on Programming Languages and Systems (TOPLAS)AuthorsNorman H. CohenIBM-affiliated at time of publicationResourcesPublicationShare
