BibTeX record conf/popl/Sherman84

download as .bib file

@inproceedings{DBLP:conf/popl/Sherman84,
  author       = {Mark Sherman},
  editor       = {Ken Kennedy and
                  Mary S. Van Deusen and
                  Larry Landweber},
  title        = {Paragon: Novel Uses of Type Hierarchies for Data Abstraction},
  booktitle    = {Conference Record of the Eleventh Annual {ACM} Symposium on Principles
                  of Programming Languages, Salt Lake City, Utah, USA, January 1984},
  pages        = {208--217},
  publisher    = {{ACM} Press},
  year         = {1984},
  url          = {https://doi.org/10.1145/800017.800532},
  doi          = {10.1145/800017.800532},
  timestamp    = {Thu, 28 Apr 2022 16:52:55 +0200},
  biburl       = {https://dblp.org/rec/conf/popl/Sherman84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}