%0 Journal Article %1 journals/tcs/AbelMU05 %A Abel, Andreas %A Matthes, Ralph %A Uustalu, Tarmo %D 2005 %J Theor. Comput. Sci. %K dblp %N 1-2 %P 3-66 %T Iteration and coiteration schemes for higher-order and nested datatypes. %U http://dblp.uni-trier.de/db/journals/tcs/tcs333.html#AbelMU05 %V 333

@article{journals/tcs/AbelMU05, added-at = {2021-02-17T00:00:00.000+0100}, author = {Abel, Andreas and Matthes, Ralph and Uustalu, Tarmo}, biburl = {https://www.bibsonomy.org/bibtex/235c825471fbe6d61375974b805f11138/dblp}, ee = {https://doi.org/10.1016/j.tcs.2004.10.017}, interhash = {47f8c136e964fad17a0b202c8bfb6ced}, intrahash = {35c825471fbe6d61375974b805f11138}, journal = {Theor. Comput. Sci.}, keywords = {dblp}, number = {1-2}, pages = {3-66}, timestamp = {2024-04-08T18:45:50.000+0200}, title = {Iteration and coiteration schemes for higher-order and nested datatypes.}, url = {http://dblp.uni-trier.de/db/journals/tcs/tcs333.html#AbelMU05}, volume = 333, year = 2005 }