An alternative view of polymorphism. - David M. Harland; Martyn W. Szyplewski; John B. Wainwright (ACM SIGPLAN Notices, 1985)