A theory of type polymorphism in programming (1978)

by Robin Milner
Venue:J. Comput. Syst. Sci