%0 Journal Article %1 journals/afp/Huffman09 %A Huffman, Brian %D 2009 %J Arch. Formal Proofs %K dblp %T Stream Fusion. %U http://dblp.uni-trier.de/db/journals/afp/afp2009.html#Huffman09 %V 2009

@article{journals/afp/Huffman09, added-at = {2020-05-25T00:00:00.000+0200}, author = {Huffman, Brian}, biburl = {https://www.bibsonomy.org/bibtex/29c46c6387c4e2e90a3a1efddea3a7566/dblp}, ee = {https://www.isa-afp.org/entries/Stream-Fusion.shtml}, interhash = {d5bc5ebfc6935c3fad2f24c1600781e9}, intrahash = {9c46c6387c4e2e90a3a1efddea3a7566}, journal = {Arch. Formal Proofs}, keywords = {dblp}, note = {Formal proof development}, timestamp = {2020-05-26T11:50:40.000+0200}, title = {Stream Fusion.}, url = {http://dblp.uni-trier.de/db/journals/afp/afp2009.html#Huffman09}, volume = 2009, year = 2009 }