BibTeX record conf/scala/HongPR18

download as .bib file

@inproceedings{DBLP:conf/scala/HongPR18,
  author    = {Jaemin Hong and
               Jihyeok Park and
               Sukyoung Ryu},
  title     = {Path dependent types with path-equality},
  booktitle = {Proceedings of the 9th {ACM} {SIGPLAN} International Symposium on
               Scala, SCALA@ICFP 2018, St. Louis, MO, USA, September 28, 2018},
  pages     = {35--39},
  year      = {2018},
  crossref  = {DBLP:conf/scala/2018},
  url       = {https://doi.org/10.1145/3241653.3241657},
  doi       = {10.1145/3241653.3241657},
  timestamp = {Tue, 11 Dec 2018 19:22:09 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/scala/HongPR18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/scala/2018,
  editor    = {Sebastian Erdweg and
               Bruno C. d. S. Oliveira},
  title     = {Proceedings of the 9th {ACM} {SIGPLAN} International Symposium on
               Scala, SCALA@ICFP 2018, St. Louis, MO, USA, September 28, 2018},
  publisher = {{ACM}},
  year      = {2018},
  url       = {https://doi.org/10.1145/3241653},
  doi       = {10.1145/3241653},
  timestamp = {Tue, 11 Dec 2018 19:20:16 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/scala/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics