A theory of type polymorphism in programming (1978)

by Robin Milner
Venue:Journal of Computer and System Sciences
Citations:1042 - 1 self