@inproceedings{inproceedings, title = {{Foundational extensible corecursion: a proof assistant perspective}}, publisher = {{ACM Press}}, url = {{http://eprints.whiterose.ac.uk/161212/ }}, year = {{2015}}, month = {{1}}, author = {{Blanchette JC and Popescu A and Traytel D}}, doi = {{10.1145/2784731.2784732}}, isbn = {{9781450336697}}, journal = {{Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming - ICFP 2015}}, note = {{Accessed on 2025/04/10}}}