Types, abstraction and parametric polymorphism 2 (1991)

by Q Ma, J C Reynolds
Venue:of Prog. Lang. Sem. Lecture Notes in Computer Science