Modular implementation of dense matrix operations in a high-level BSP language

BSML is a high-level language for programming parallel algorithms. Built upon the OCaml language, it provides a safe setting for the implementation of BSP algorithms and for avoiding concurrency related problems (deadlocks, indeterminism, etc.). Dense matrices appear in many scientific computations but many libraries are limited to matrices of numeric elements. This paper is our first experiment to design a generic library of BSP implementation in ML of dense matrix operations for scientific computation.