In computer science, corecursion is a type of operation that is dual to recursion. Whereas recursion works analytically, starting on data further from...

establishes the base case. Such an example is more naturally treated by corecursion,[how?] where successive terms in the output are the partial sums; this...

-ception to a noun to jokingly indicate the recursion of something. Corecursion – Type of algorithm in computer science Course-of-values recursion –...

data structure, traversal can be defined by recursion or, more subtly, corecursion, in a natural and clear fashion; in these cases the deferred nodes are...

primitive corecursion over a coinductive data type. The term "apomorphism" was introduced in Functional Programming with Apomorphisms (Corecursion). Morphism...

they must be defined as codata and can be iterated over using (guarded) corecursion. Java provides the Stream interface under the java.util.stream namespace...

for an alternative Lazy evaluation for producing values when needed Corecursion for potentially infinite data by recursion instead of yield Coroutine...

science) Primitive recursive function Inline expansion Leaf subroutine Corecursion Like this: if (ls != NULL) { head = malloc( sizeof *head); head->value...

still retaining high computational complexity), using more controlled corecursion wherever non-terminating behavior is actually desired. In its more general...

applications such as I/O. Using codata entails the usage of such operations as corecursion. However, it is possible to do I/O in a total functional programming...

: 1 : zipWith (+) fibs (tail fibs) The infinite list is produced by corecursion — the latter values of the list are computed on demand starting from...

P\}\subseteq P} This is precisely mathematical induction as stated. F-coalgebra Corecursion Bisimulation Anamorphism Total functional programming "Co-Logic Programming...

F-coalgebras. The finality provides a general framework for coinduction and corecursion. For example, using the same functor 1 + (−) as before, a coalgebra is...