Local type inference

Benjamin C. Pierce, David N. Turner. Local type inference. ACM Transactions on Programming Languages and Systems, 22(1):1-44, 2000. [doi]

Predecessors

The following are older variants of this publication: