Pages that link to "Item:Q4943359"

The following pages link to Parallel functional programming on recursively defined data via data-parallel recursion (Q4943359):

Displaying 2 items.

• The algebra of recursive graph transformation language UnCAL: complete axiomatisation and iteration categorical semantics (Q3130301) (← links)
• Lambda calculus with algebraic simplification for reduction parallelisation: Extended study (Q5016210) (← links)