A Theory of Type Polymorphism (1978)

by A R J G Milner
Venue:in Programming’, Journal of Computer and System Sciences