Farms, pipes, streams and reforestation: reasoning about structured parallel processes using types and hylomorphisms.

David Castro, Kevin Hammond, Susmit Sarkar

Browse the full ICFP paper archive.