A Theory of Type Polymorphism in Programming

Authors: Robin Milner - Journal of Computer and System Sciences 1978 cited by 2,209