Types, Abstraction and Parametric Polymorphism. Information Processing 83 (1983)

by J C Reynolds