%0 Conference Paper %1 conf/flops/Hamana12 %A Hamana, Makoto %B FLOPS %D 2012 %E Schrijvers, Tom %E Thiemann, Peter %I Springer %K dblp %P 136-150 %T Correct Looping Arrows from Cyclic Terms - Traced Categorical Interpretation in Haskell. %U http://dblp.uni-trier.de/db/conf/flops/flops2012.html#Hamana12 %V 7294 %@ 978-3-642-29821-9

@inproceedings{conf/flops/Hamana12, added-at = {2017-05-21T00:00:00.000+0200}, author = {Hamana, Makoto}, biburl = {https://www.bibsonomy.org/bibtex/267904db19df0882a4ec8d8d787641502/dblp}, booktitle = {FLOPS}, crossref = {conf/flops/2012}, editor = {Schrijvers, Tom and Thiemann, Peter}, ee = {https://doi.org/10.1007/978-3-642-29822-6_13}, interhash = {5f92150a3b5fedc044ab2244e67e9f36}, intrahash = {67904db19df0882a4ec8d8d787641502}, isbn = {978-3-642-29821-9}, keywords = {dblp}, pages = {136-150}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-03-24T11:40:18.000+0100}, title = {Correct Looping Arrows from Cyclic Terms - Traced Categorical Interpretation in Haskell.}, url = {http://dblp.uni-trier.de/db/conf/flops/flops2012.html#Hamana12}, volume = 7294, year = 2012 }