Types, abstraction and parametric polymorphism, in "Information Processing 83 (1983)

by J C Reynolds