Characterization of typings in polymorphic type discipline | IEEE Conference Publication | IEEE Xplore