BibTeX record conf/plpv/ChristiansenSV10

download as .bib file

@inproceedings{DBLP:conf/plpv/ChristiansenSV10,
  author    = {Jan Christiansen and
               Daniel Seidel and
               Janis Voigtl{\"{a}}nder},
  title     = {Free theorems for functional logic programs},
  booktitle = {Proceedings of the 4th {ACM} Workshop Programming Languages meets
               Program Verification, {PLPV} 2010, Madrid, Spain, January 19, 2010},
  pages     = {39--48},
  year      = {2010},
  crossref  = {DBLP:conf/plpv/2010},
  url       = {https://doi.org/10.1145/1707790.1707797},
  doi       = {10.1145/1707790.1707797},
  timestamp = {Tue, 06 Nov 2018 16:57:27 +0100},
  biburl    = {https://dblp.org/rec/conf/plpv/ChristiansenSV10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/plpv/2010,
  editor    = {Jean{-}Christophe Filli{\^{a}}tre and
               Cormac Flanagan},
  title     = {Proceedings of the 4th {ACM} Workshop Programming Languages meets
               Program Verification, {PLPV} 2010, Madrid, Spain, January 19, 2010},
  publisher = {{ACM}},
  year      = {2010},
  isbn      = {978-1-60558-890-2},
  timestamp = {Thu, 28 Jan 2010 11:16:07 +0100},
  biburl    = {https://dblp.org/rec/conf/plpv/2010.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics