@article{45065,
 author = {John C. Mitchell and Gordon D. Plotkin},
 title = {Abstract types have existential type},
 journal = {ACM Transactions on Programming Languages and Systems (TOPLAS)},
 volume = {10},
 number = {3},
 year = {1988},
 issn = {0164-0925},
 pages = {470--502},
 doi = {http://doi.acm.org/10.1145/44501.45065},
 publisher = {ACM Press},
 }