BibTeX record conf/scala/HongPR18

download as .bib file

@inproceedings{DBLP:conf/scala/HongPR18,
  author       = {Jaemin Hong and
                  Jihyeok Park and
                  Sukyoung Ryu},
  editor       = {Sebastian Erdweg and
                  Bruno C. d. S. Oliveira},
  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},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3241653.3241657},
  doi          = {10.1145/3241653.3241657},
  timestamp    = {Sun, 02 Oct 2022 16:14:42 +0200},
  biburl       = {https://dblp.org/rec/conf/scala/HongPR18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}