BibTeX record conf/pldi/Rose88

download as .bib file

@inproceedings{DBLP:conf/pldi/Rose88,
  author       = {John R. Rose},
  editor       = {Richard L. Wexelblat},
  title        = {Refined Types: Highly Differentiated Type Systems and Their Use in
                  the Design of Intermediate Langages},
  booktitle    = {Proceedings of the {ACM} SIGPLAN'88 Conference on Programming Language
                  Design and Implementation (PLDI), Atlanta, Georgia, USA, June 22-24,
                  1988},
  pages        = {278--287},
  publisher    = {{ACM}},
  year         = {1988},
  url          = {https://doi.org/10.1145/53990.54018},
  doi          = {10.1145/53990.54018},
  timestamp    = {Fri, 09 Jul 2021 14:03:46 +0200},
  biburl       = {https://dblp.org/rec/conf/pldi/Rose88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}