Abstract Types Have Existential Type

John C. Mitchell, Gordon D. Plotkin. Abstract Types Have Existential Type. ACM Transactions on Programming Languages and Systems, 10(3):470-502, 1988. [doi]

Abstract

Abstract is missing.