Iterative type inference with attribute grammars
Arie Middelkoop, Atze Dijkstra, S. Doaitse Swierstra · 2010
Type inference is the process of constructing a typing derivation while gradually discovering type information. During this process, inference algorithms typically make subtle decisions based on the derivation constructed so far.