Abstract types have existential type (1988)

by John C Mitchell, Gordon D Plotkin
Venue:ACM Trans. on Prog. Lang. and Syst