>Robin Milner. A theory of type polymorphism in programming. Journal of Computer and System Sciences, 17:348-375, August 1978

It is in the top 5 and yet none of the go developers will acknowledge that it exists.