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.
Foundational extensible corecursion: a proof assistant perspective [link]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