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
