John C. Mitchell Gordon D. Plotkin Abstract Types Have Existential Type. 37-51 1985 POPL db/conf/popl/popl85.html#MitchellP85