Abstract types have existential type (1984)

by J Mitchell, G Plotkin
Venue:In Pr k oc. 11th Annual ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages