A theory of polymorphism in programming (1978)

by R Milner
Venue:J. Computer System Science