Parallel functional programming on recursively defined data via data-parallel recursion
From MaRDI portal
Publication:4943359
DOI10.1017/S0956796899003457zbMath0948.68037OpenAlexW1967867598MaRDI QIDQ4943359
Susumu Nishimura, Atsushi Ohori
Publication date: 28 November 2000
Published in: Journal of Functional Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/s0956796899003457
Related Items (2)
The algebra of recursive graph transformation language UnCAL: complete axiomatisation and iteration categorical semantics ⋮ Lambda calculus with algebraic simplification for reduction parallelisation: Extended study
This page was built for publication: Parallel functional programming on recursively defined data via data-parallel recursion