Types, abstraction and parametric (1983)

by J C Reynolds
Venue:Information Processing ’83. North-Holland