TY - CONF T1 - Foundational extensible corecursion: a proof assistant perspective JO - Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming - ICFP 2015 UR - http://eprints.whiterose.ac.uk/161212/ PY - 2015/01/01 AU - Blanchette JC AU - Popescu A AU - Traytel D ED - DO - DOI: 10.1145/2784731.2784732 PB - ACM Press SN - 9781450336697 Y2 - 2025/05/23 ER -