Abstract types have existential types (1988)

by J C Mitchell, G D Plotkin
Venue:ACM Trans. Programming Languages and Systems