BibTeX record journals/corr/HanusK17

• > Home > journals/corr/HanusK17

@inproceedings{DBLP:journals/corr/HanusK17,
  author       = {Michael Hanus and
                  Julia Krone},
  editor       = {Sibylle Schwarz and
                  Janis Voigtl{\"{a}}nder},
  title        = {A Typeful Integration of {SQL} into Curry},
  booktitle    = {Proceedings 29th and 30th Workshops on (Constraint) Logic Programming
                  and 24th International Workshop on Functional and (Constraint) Logic
                  Programming, {WLP} 2015 / {WLP} 2016 / {WFLP} 2016, Dresden and Leipzig,
                  Germany, 22nd September 2015 and 12-14th September 2016},
  series       = {{EPTCS}},
  volume       = {234},
  pages        = {104--119},
  year         = {2017},
  url          = {https://doi.org/10.4204/EPTCS.234.8},
  doi          = {10.4204/EPTCS.234.8},
  timestamp    = {Tue, 16 Aug 2022 23:07:05 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/HanusK17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}