Dec 1978], "A theory of type polymorphism in programming (0)

by R Milner
Venue:Journal of Computer and Systems Sci