Types, Abstraction and Parametric Polymorphism, Part 2 (1992)

by Q-Q Ma, J C Reynolds
Venue:Mathematical Foundations of Programming Language Semantics. LNCS 598