A Theory of Type Polymorphism (1978)

by R Milner
Venue:in Programming. Journal of Computer and System Sciences