@inproceedings{inproceedings, title  = {{Foundational extensible corecursion : a proof assistant perspective}},

 publisher = {{Association for Computing Machinery (ACM)}},

 url = {{https://eprints.whiterose.ac.uk/id/eprint/161212 }},

 year = {{2015}},

 month = {{8}},

 author = {{Blanchette JC and Popescu A and Traytel D}},

 doi = {{10.1145/2784731.2784732}},

 isbn = {{9781450336697}},

 journal = {{ICFP 2015: Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming}},

 pages = {{192-204}},

 note = {{Accessed on 2025/11/27}}}