A theory of type polymorphism in programming

Robin Milner
[doi] [Google Scholar] [DBLP] [Citeseer]

Journal of Computer and System Sciences 17(3)
Pages 348 - 375
1978
Note(s): type inference