@inproceedings{DBLP:conf/icfp/Blanchette0T15,
TITLE = {Foundational Extensible Corecursion: A Proof Assistant Perspective},
AUTHOR = {Blanchette, Jasmin Christian and Popescu, Andrei and Traytel, Dmitriy},
LANGUAGE = {eng},
ISSN = {0362-1340},
ISBN = {978-1-4503-3669-7},
DOI = {10.1145/2784731.2784732},
PUBLISHER = {ACM},
PUBLISHER = {ACM Press},
YEAR = {2015},
DATE = {2015},
BOOKTITLE = {Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming (ICFP 2015)},
PAGES = {192--204},
JOURNAL = {ACM SIGPLAN Notices (Proc. ICFP)},
VOLUME = {50},
ISSUE = {9},
ADDRESS = {Vancouver, BC, Canada},
}