Parallel programming with Coq: map and reduce skeletons on trees.

Jolan Philippe, Frdric Loulergue

Browse the full SAC paper archive.