Types, abstraction, and parametricpolymorphism, part 2 (1991)

by Qing-Ming Ma, J C Reynolds
Venue:In Proceedings of the 1991 Mathematical Foundations of Programming Semantics Conference