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

DOI10.1145/2951913.2951920zbMath1361.68061OpenAlexW2507299602MaRDI QIDQ2981997

David Castro, Kevin Hammond, Susmit Sarkar

Publication date: 10 May 2017

Published in: Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/10023/9810

zbMATH Keywords

parallelismterm rewriting systemstype systemshylomorphisms

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55) Grammars and rewriting systems (68Q42) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Lambda calculus with algebraic simplification for reduction parallelisation: Extended study

This page was built for publication: Farms, pipes, streams and reforestation: reasoning about structured parallel processes using types and hylomorphisms