An alternative view of polymorphism

@article{Harland1985AnAV,
  title={An alternative view of polymorphism},
  author={David M. Harland and Martyn W. Szyplewski and John B. Wainwright},
  journal={SIGPLAN Notices},
  year={1985},
  volume={20},
  pages={23-35}
}
We shall outline the traditional approaches to polymorphism, in the light of Strachey's original work, and languages in the style of RUSSELL, and review the implications for programming language design of the developing interest amongst theoreticians in this subject.It will be shown that the "parametric type-polymorphism" favoured by the majority of today's designers, is actually a very limited form of polymorphism, and we shall show how a much more general concept of polymorphism can be… CONTINUE READING