Foundational extensible corecursion: a proof assistant perspective. Blanchette, J. C., Popescu, A., & Traytel, D. In Fisher, K. & Reppy, J. H., editors, Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, ICFP 2015, Vancouver, BC, Canada, September 1-3, 2015, pages 192–204, 2015. ACM.
Paper doi bibtex @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}
}
Downloads: 0
{"_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}