Types, abstraction and parametric polymorphism (1983)

by J C Reynolds
Venue:Proceedings of IFIP