D.: Foundational Extensible Corecursion (2015)

by J C Blanchette, A Popescu, Traytel
Venue:ICFP ’15, ACM