corecursion noun1 •The dual to recursion, that acts on the computed result, rather than the input.Programming languages with lazy evaluation support corecursion so that the programmer can refer to infinite objects.
