Efficient inference of partial types | IEEE Conference Publication | IEEE Xplore