BibTeX record conf/scala/SchmidK16

download as .bib file

@inproceedings{DBLP:conf/scala/SchmidK16,
  author    = {Georg Stefan Schmid and
               Viktor Kuncak},
  title     = {SMT-based checking of predicate-qualified types for Scala},
  booktitle = {Proceedings of the 7th {ACM} {SIGPLAN} Symposium on Scala, SCALA@SPLASH
               2016, Amsterdam, Netherlands, October 30 - November 4, 2016},
  pages     = {31--40},
  year      = {2016},
  crossref  = {DBLP:conf/scala/2016},
  url       = {https://doi.org/10.1145/2998392.2998398},
  doi       = {10.1145/2998392.2998398},
  timestamp = {Tue, 06 Nov 2018 16:59:26 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/scala/SchmidK16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/scala/2016,
  editor    = {Aggelos Biboudis and
               Manohar Jonnalagedda and
               Sandro Stucki and
               Vlad Ureche},
  title     = {Proceedings of the 7th {ACM} {SIGPLAN} Symposium on Scala, SCALA@SPLASH
               2016, Amsterdam, Netherlands, October 30 - November 4, 2016},
  publisher = {{ACM}},
  year      = {2016},
  url       = {https://doi.org/10.1145/2998392},
  doi       = {10.1145/2998392},
  isbn      = {978-1-4503-4648-1},
  timestamp = {Tue, 06 Nov 2018 16:59:26 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/scala/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier