Inproceedings,
Abstract Types Have Existential Type.
J. Mitchell, and G. Plotkin.POPL, page 37-51. ACM Press, (1985)
Meta data
- BibTeX key
- conf/popl/MitchellP85
- entry type
- inproceedings
- booktitle
- POPL
- year
- 1985
- pages
- 37-51
- publisher
- ACM Press
- crossref
- conf/popl/1985
- ee
- https://doi.org/10.1145/318593.318606
- isbn
- 0-89791-147-4
- url
- http://dblp.uni-trier.de/db/conf/popl/popl85.html#MitchellP85
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/popl/MitchellP85
%A Mitchell, John C.
%A Plotkin, Gordon D.
%B POPL
%D 1985
%E Deusen, Mary S. Van
%E Galil, Zvi
%E Reid, Brian K.
%I ACM Press
%K dblp
%P 37-51
%T Abstract Types Have Existential Type.
%U http://dblp.uni-trier.de/db/conf/popl/popl85.html#MitchellP85
%@ 0-89791-147-4
@inproceedings{conf/popl/MitchellP85,
added-at = {2018-11-06T00:00:00.000+0100},
author = {Mitchell, John C. and Plotkin, Gordon D.},
biburl = {https://www.bibsonomy.org/bibtex/2a31583a72d69212563e1735667480a77/dblp},
booktitle = {POPL},
crossref = {conf/popl/1985},
editor = {Deusen, Mary S. Van and Galil, Zvi and Reid, Brian K.},
ee = {https://doi.org/10.1145/318593.318606},
interhash = {f66a59c3addf45a50d9fc7f160c3cd06},
intrahash = {a31583a72d69212563e1735667480a77},
isbn = {0-89791-147-4},
keywords = {dblp},
pages = {37-51},
publisher = {ACM Press},
timestamp = {2018-11-07T15:43:37.000+0100},
title = {Abstract Types Have Existential Type.},
url = {http://dblp.uni-trier.de/db/conf/popl/popl85.html#MitchellP85},
year = 1985
}