First Page | Document Content | |
---|---|---|
Date: 2016-02-11 10:23:52Software 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 PopescuAdd to Reading ListSource URL: people.mpi-inf.mpg.deDownload Document from Source WebsiteFile Size: 260,94 KBShare Document on Facebook |