Foundational extensible corecursion: a proof assistant perspective.

Jasmin Christian Blanchette, Andrei Popescu, Dmitriy Traytel

Browse the full ICFP paper archive.