TY  - CONF

T1  - Foundational extensible corecursion : a proof assistant perspective

JO  - ICFP 2015: Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming

UR  - https://eprints.whiterose.ac.uk/id/eprint/161212

PY  - 2015/08/01

AU  - Blanchette JC

AU  - Popescu A

AU  - Traytel D

ED  - Fisher K

ED  - Reppy J

DO  - DOI: 10.1145/2784731.2784732

PB  - Association for Computing Machinery (ACM)

SN  - 9781450336697

SP  - 192

EP  - 204

Y2  - 2025/11/27

ER  -