Type reconstruction in finite-rank fragments of the polymorphic lambda -calculus | IEEE Conference Publication | IEEE Xplore