Parametric Polymorphism, in: Information Processing `83 (1983)

by Abstraction Types
Venue:Elsevier Science Publishers B.V. (North-Holland