%0 Conference Paper %1 conf/icfp/CastroHS16 %A Castro, David %A Hammond, Kevin %A Sarkar, Susmit %B ICFP %D 2016 %E Garrigue, Jacques %E Keller, Gabriele %E Sumii, Eijiro %I ACM %K dblp %P 4-17 %T Farms, pipes, streams and reforestation: reasoning about structured parallel processes using types and hylomorphisms. %U http://dblp.uni-trier.de/db/conf/icfp/icfp2016.html#CastroHS16 %@ 978-1-4503-4219-3

@inproceedings{conf/icfp/CastroHS16, added-at = {2023-03-21T00:00:00.000+0100}, author = {Castro, David and Hammond, Kevin and Sarkar, Susmit}, biburl = {https://www.bibsonomy.org/bibtex/2bd703c453496f1ce9cd18d0a55cb5373/dblp}, booktitle = {ICFP}, crossref = {conf/icfp/2016}, editor = {Garrigue, Jacques and Keller, Gabriele and Sumii, Eijiro}, ee = {https://doi.org/10.1145/3022670.2951920}, interhash = {cb19f6e44d307d9efc22f7c976bbc11c}, intrahash = {bd703c453496f1ce9cd18d0a55cb5373}, isbn = {978-1-4503-4219-3}, keywords = {dblp}, pages = {4-17}, publisher = {ACM}, timestamp = {2024-04-09T17:31:28.000+0200}, title = {Farms, pipes, streams and reforestation: reasoning about structured parallel processes using types and hylomorphisms.}, url = {http://dblp.uni-trier.de/db/conf/icfp/icfp2016.html#CastroHS16}, year = 2016 }