Efficient local type inference.

Ben Bellamy, Pavel Avgustinov, Oege de Moor, Damien Sereni

Browse the full OOPSLA paper archive.