Back to Results
First PageMeta Content
Software engineering / Computer programming / Declarative programming / Recursion / Theoretical computer science / Functional programming / Category theory / Subroutines / Corecursion / Fold / Coinduction / Tail call


Foundational Extensible Corecursion A Proof Assistant Perspective Jasmin Christian Blanchette Andrei Popescu
Add to Reading List

Document Date: 2016-02-11 10:23:52

Open Document

File Size: 260,94 KB

Share Result on Facebook