David Castro, Kevin Hammond, Susmit Sarkar. Farms, pipes, streams and reforestation: reasoning about structured parallel processes using types and hylomorphisms. In Jacques Garrigue, Gabriele Keller, Eijiro Sumii, editors, Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, ICFP 2016, Nara, Japan, September 18-22, 2016. pages 4-17, ACM, 2016. [doi]
Abstract is missing.