@inproceedings{DBLP:conf/icfp/Blanchette0T15,
  author    = {Jasmin Christian Blanchette and
               Andrei Popescu and
               Dmitriy Traytel},
  editor    = {Kathleen Fisher and
               John H. Reppy},
  title     = {Foundational extensible corecursion: a proof assistant perspective},
  booktitle = {Proceedings of the 20th {ACM} {SIGPLAN} International Conference on
               Functional Programming, {ICFP} 2015, Vancouver, BC, Canada, September
               1-3, 2015},
  pages     = {192--204},
  publisher = {{ACM}},
  year      = {2015},
  url       = {https://doi.org/10.1145/2784731.2784732},
  doi       = {10.1145/2784731.2784732},
  timestamp = {Wed, 23 Jun 2021 16:58:51 +0200},
  biburl    = {https://dblp.org/rec/conf/icfp/Blanchette0T15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"oaqozc3q6AoN2Xphi","bibbaseid":"blanchette-popescu-traytel-foundationalextensiblecorecursionaproofassistantperspective-2015","author_short":["Blanchette, J. C.","Popescu, A.","Traytel, D."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Jasmin","Christian"],"propositions":[],"lastnames":["Blanchette"],"suffixes":[]},{"firstnames":["Andrei"],"propositions":[],"lastnames":["Popescu"],"suffixes":[]},{"firstnames":["Dmitriy"],"propositions":[],"lastnames":["Traytel"],"suffixes":[]}],"editor":[{"firstnames":["Kathleen"],"propositions":[],"lastnames":["Fisher"],"suffixes":[]},{"firstnames":["John","H."],"propositions":[],"lastnames":["Reppy"],"suffixes":[]}],"title":"Foundational extensible corecursion: a proof assistant perspective","booktitle":"Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, ICFP 2015, Vancouver, BC, Canada, September 1-3, 2015","pages":"192–204","publisher":"ACM","year":"2015","url":"https://doi.org/10.1145/2784731.2784732","doi":"10.1145/2784731.2784732","timestamp":"Wed, 23 Jun 2021 16:58:51 +0200","biburl":"https://dblp.org/rec/conf/icfp/Blanchette0T15.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/icfp/Blanchette0T15,\n author = {Jasmin Christian Blanchette and\n Andrei Popescu and\n Dmitriy Traytel},\n editor = {Kathleen Fisher and\n John H. Reppy},\n title = {Foundational extensible corecursion: a proof assistant perspective},\n booktitle = {Proceedings of the 20th {ACM} {SIGPLAN} International Conference on\n Functional Programming, {ICFP} 2015, Vancouver, BC, Canada, September\n 1-3, 2015},\n pages = {192--204},\n publisher = {{ACM}},\n year = {2015},\n url = {https://doi.org/10.1145/2784731.2784732},\n doi = {10.1145/2784731.2784732},\n timestamp = {Wed, 23 Jun 2021 16:58:51 +0200},\n biburl = {https://dblp.org/rec/conf/icfp/Blanchette0T15.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Blanchette, J. C.","Popescu, A.","Traytel, D."],"editor_short":["Fisher, K.","Reppy, J. H."],"key":"DBLP:conf/icfp/Blanchette0T15","id":"DBLP:conf/icfp/Blanchette0T15","bibbaseid":"blanchette-popescu-traytel-foundationalextensiblecorecursionaproofassistantperspective-2015","role":"author","urls":{"Paper":"https://doi.org/10.1145/2784731.2784732"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/95/10567.bib","dataSources":["kgH2yTFtfgstdBGrT"],"keywords":[],"search_terms":["foundational","extensible","corecursion","proof","assistant","perspective","blanchette","popescu","traytel"],"title":"Foundational extensible corecursion: a proof assistant perspective","year":2015}