@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 2024/09/19}}}