@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 2024/12/23}}}