The semantics of second order polymorphic lambda calculus (1984)

by K B Bruce, A R Meyer
Venue:Proceedings of the Conference on Semantics of Data Types, Sophia-Antipolis