Ben Bellamy Pavel Avgustinov Oege de Moor Damien Sereni Efficient local type inference. 475-492 2008 OOPSLA http://doi.acm.org/10.1145/1449764.1449802 conf/oopsla/2008 db/conf/oopsla/oopsla2008.html#BellamyAMS08