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]

@article{MitchellP88:1,
  title = {Abstract Types Have Existential Type},
  author = {John C. Mitchell and Gordon D. Plotkin},
  year = {1988},
  doi = {10.1145/44501.45065},
  url = {http://doi.acm.org/10.1145/44501.45065},
  tags = {C++},
  researchr = {https://researchr.org/publication/MitchellP88%3A1},
  cites = {0},
  citedby = {0},
  journal = {ACM Transactions on Programming Languages and Systems},
  volume = {10},
  number = {3},
  pages = {470-502},
}