Parallel programming with Coq: map and reduce skeletons on trees

Jolan Philippe, Frédéric Loulergue
PDF DOI
Type
Conference paper
Publication
Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, SAC 2019, Limassol, Cyprus, April 8-12, 2019