Abstract Types Have Existential Type.

John C. Mitchell, Gordon D. Plotkin

Browse the full POPL paper archive.