A theory of type polymorphism in progra.mming (1978)

by R Milner
Venue:Journal of Computer and System Sciences