Abstract types have existential type, ACM transactions on programmming languages and systems (1988)

by J Mitchell, G Plotkin