Plotkin: Abstract types have existential type (1985)

by J C Mitchell, G D
Venue:Proc. the 12th Annual A CM Symposium on Principles of Programming Languages