A theory of type polymorphism in programming (1978)

by R Milner
Venue:J. Comput. System Sci