Types, abstraction and parametric polymorphism, Information Processing (1983)

by J Reynolds