Efficient local type inference. - Ben Bellamy; Pavel Avgustinov; Oege de Moor; Damien Sereni (OOPSLA, 2008)