@article{article, title = {{Foundational extensible corecursion: a proof assistant perspective}}, publisher = {{Association for Computing Machinery (ACM)}}, url = {{http://dx.doi.org/10.1145/2858949.2784732 }}, year = {{2015}}, month = {{12}}, author = {{Blanchette JC and Popescu A and Traytel D}}, doi = {{10.1145/2858949.2784732}}, volume = {{50}}, journal = {{ACM SIGPLAN Notices}}, issue = {{9}}, pages = {{192-204}}, note = {{Accessed on 2025/05/21}}}