@inproceedings{DBLP:conf/esop/BlanchetteBL0T17,
  author    = {Jasmin Christian Blanchette and
               Aymeric Bouzy and
               Andreas Lochbihler and
               Andrei Popescu and
               Dmitriy Traytel},
  editor    = {Hongseok Yang},
  title     = {Friends with Benefits - Implementing Corecursion in Foundational Proof
               Assistants},
  booktitle = {Programming Languages and Systems - 26th European Symposium on Programming,
               {ESOP} 2017, Held as Part of the European Joint Conferences on Theory
               and Practice of Software, {ETAPS} 2017, Uppsala, Sweden, April 22-29,
               2017, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10201},
  pages     = {111--140},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-662-54434-1\_5},
  doi       = {10.1007/978-3-662-54434-1\_5},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/esop/BlanchetteBL0T17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"SCZjhQjvqQN6Yi4hY","bibbaseid":"blanchette-bouzy-lochbihler-popescu-traytel-friendswithbenefitsimplementingcorecursioninfoundationalproofassistants-2017","author_short":["Blanchette, J. C.","Bouzy, A.","Lochbihler, A.","Popescu, A.","Traytel, D."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Jasmin","Christian"],"propositions":[],"lastnames":["Blanchette"],"suffixes":[]},{"firstnames":["Aymeric"],"propositions":[],"lastnames":["Bouzy"],"suffixes":[]},{"firstnames":["Andreas"],"propositions":[],"lastnames":["Lochbihler"],"suffixes":[]},{"firstnames":["Andrei"],"propositions":[],"lastnames":["Popescu"],"suffixes":[]},{"firstnames":["Dmitriy"],"propositions":[],"lastnames":["Traytel"],"suffixes":[]}],"editor":[{"firstnames":["Hongseok"],"propositions":[],"lastnames":["Yang"],"suffixes":[]}],"title":"Friends with Benefits - Implementing Corecursion in Foundational Proof Assistants","booktitle":"Programming Languages and Systems - 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings","series":"Lecture Notes in Computer Science","volume":"10201","pages":"111–140","publisher":"Springer","year":"2017","url":"https://doi.org/10.1007/978-3-662-54434-1_5","doi":"10.1007/978-3-662-54434-1_5","timestamp":"Sat, 19 Oct 2019 01:00:00 +0200","biburl":"https://dblp.org/rec/conf/esop/BlanchetteBL0T17.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/esop/BlanchetteBL0T17,\n author = {Jasmin Christian Blanchette and\n Aymeric Bouzy and\n Andreas Lochbihler and\n Andrei Popescu and\n Dmitriy Traytel},\n editor = {Hongseok Yang},\n title = {Friends with Benefits - Implementing Corecursion in Foundational Proof\n Assistants},\n booktitle = {Programming Languages and Systems - 26th European Symposium on Programming,\n {ESOP} 2017, Held as Part of the European Joint Conferences on Theory\n and Practice of Software, {ETAPS} 2017, Uppsala, Sweden, April 22-29,\n 2017, Proceedings},\n series = {Lecture Notes in Computer Science},\n volume = {10201},\n pages = {111--140},\n publisher = {Springer},\n year = {2017},\n url = {https://doi.org/10.1007/978-3-662-54434-1\\_5},\n doi = {10.1007/978-3-662-54434-1\\_5},\n timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},\n biburl = {https://dblp.org/rec/conf/esop/BlanchetteBL0T17.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Blanchette, J. C.","Bouzy, A.","Lochbihler, A.","Popescu, A.","Traytel, D."],"editor_short":["Yang, H."],"key":"DBLP:conf/esop/BlanchetteBL0T17","id":"DBLP:conf/esop/BlanchetteBL0T17","bibbaseid":"blanchette-bouzy-lochbihler-popescu-traytel-friendswithbenefitsimplementingcorecursioninfoundationalproofassistants-2017","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-662-54434-1_5"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/95/10567.bib","dataSources":["kgH2yTFtfgstdBGrT"],"keywords":[],"search_terms":["friends","benefits","implementing","corecursion","foundational","proof","assistants","blanchette","bouzy","lochbihler","popescu","traytel"],"title":"Friends with Benefits - Implementing Corecursion in Foundational Proof Assistants","year":2017}