Abstract types have existential types (1985)

by J C Mitchell, G D Plotkin
Venue:In Proc. 12th AChf Symposium on Principles of Programming Languages