A Modular Type Reconstruction Algorithm - Rabe, Florian (ACM Transactions on Computational Logic, 2017)