%0 Journal Article
%F Milner78
%A Milner, Robin
%T A theory of type polymorphism in programming
%J Journal of Computer and System Sciences
%V 17
%N 3
%P 348-375
%D 1978
%U http://www.eecs.berkeley.edu/~tfeng/papers/milner78theory.pdf