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  - 2024/12/26

ER  -