A Theory of Type Polymorphism (1978)

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