Milner: A Theory of Type Polymorphism in Programming (1978)

by Robin
Venue:Journal of Computer and System Sciences