Domain decomposition and skeleton programming with OCamlP3l. - François Clément; Vincent Martin; A. Vodicka; Roberto Di Cosmo; Pierre Weis (Parallel Comput., 2006)