Benjamin C. Pierce David N. Turner Local type inference. 1-44 2000 22 ACM Trans. Program. Lang. Syst. 1 http://doi.acm.org/10.1145/345099.345100 db/journals/toplas/toplas22.html#PierceT00