Primitive (Co)Recursion and Course-of-Value (Co)Iteration, Categorically Export

@article{citeulike:556243, abstract = {In the mainstream categorical approach to typed (total) functional programming, datatypes are modelled as initial algebras and codatatypes as terminal coalgebras. The basic function definition schemes of iteration and coiteration are modelled by constructions known as catamorphisms and anamorphisms. Primitive recursion has been captured by a construction called paramorphisms. We draw attention to the dual construction of apomorphisms, and show on examples that primitive corecursion is a useful...}, author = {Uustalu, Tarmo and Vene, Varmo}, citeulike-article-id = {556243}, citeulike-linkout-0 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.36.119}, journal = {Informatica (Lithuanian Academy of Sciences)}, keywords = {coinduction, corecursion, recursion}, number = {1}, pages = {5--26}, posted-at = {2006-03-17 20:47:22}, priority = {0}, title = {Primitive (Co)Recursion and Course-of-Value (Co)Iteration, Categorically}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.36.119}, volume = {10}, year = {1999} }

TY - JOUR ID - citeulike:556243 L3 - citeulike-article-id:556243 N2 - In the mainstream categorical approach to typed (total) functional programming, datatypes are modelled as initial algebras and codatatypes as terminal coalgebras. The basic function definition schemes of iteration and coiteration are modelled by constructions known as catamorphisms and anamorphisms. Primitive recursion has been captured by a construction called paramorphisms. We draw attention to the dual construction of apomorphisms, and show on examples that primitive corecursion is a useful... IS - 1 JF - Informatica (Lithuanian Academy of Sciences) EP - 26 TI - Primitive (Co)Recursion and Course-of-Value (Co)Iteration, Categorically VL - 10 SP - 5 KW - coinduction KW - corecursion KW - recursion AU - Uustalu, Tarmo AU - Vene, Varmo PY - 1999/// UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.36.119 ER -