L. Gesbert, F. Gava, F. Loulergue, and F. Dabrowski, Bulk synchronous parallel ML with exceptions, Future Generation Computer Systems, vol.26, issue.3, pp.486-490, 2010.
DOI : 10.1016/j.future.2009.05.021
URL : https://hal.archives-ouvertes.fr/inria-00452527

D. B. Skillicorn, J. M. Hill, and W. F. Mccoll, Questions and Answers about BSP, Scientific Programming, pp.249-274, 1997.
DOI : 10.1155/1997/532130

L. G. Valiant, A bridging model for multi-core computing, Journal of Computer and System Sciences, vol.77, issue.1, pp.154-166, 2011.
DOI : 10.1016/j.jcss.2010.06.012

V. Allombert, F. Gava, and J. Tesson, Multi-ML: Programming Multi- BSP Algorithms in ML Available: https, International Journal of Parallel Programming, p.20, 2016.

L. G. Valiant, A bridging model for parallel computation, Communications of the ACM, vol.33, issue.8, pp.103-111, 1990.
DOI : 10.1145/79173.79181

V. Allombert, Functional Abstraction for Programming Multi-Level Architectures: Formalisation and Implementation Available: https, 2017.

X. Leroy and H. Grall, Coinductive big-step operational semantics, Information and Computation, vol.207, issue.2, pp.284-304, 2009.
DOI : 10.1016/j.ic.2007.12.004
URL : https://hal.archives-ouvertes.fr/inria-00289545

F. Cappello and D. Etiemble, MPI versus MPI+OpenMP on the IBM SP for the NAS Benchmarks, ACM/IEEE SC 2000 Conference (SC'00), 2000.
DOI : 10.1109/SC.2000.10001

K. Hamidouche, J. Falcou, and D. Etiemble, A Framework for an Automatic Hybrid MPI+OpenMP Code Generation, Proceedings of the 19th High Performance Computing Symposia, pp.48-55, 2011.

C. W. Kessler, NestStep: Nested Parallelism and Virtual Shared Memory for the BSP Model, The Journal of Supercomputing, vol.17, issue.3, pp.245-262, 2000.
DOI : 10.1023/A:1026511306490

H. Loidl, F. Rubio, N. Scaife, K. Hammond, S. Horiguchi et al., Comparing Parallel Functional Languages: Programming and Performance, Higher Order Symbolic Computing, pp.203-251, 2003.

M. M. Chakravarty, G. Keller, R. Lechtchinsky, and W. Pfannenstiel, Nepal ??? Nested Data Parallelism in Haskell, Proceedings of the 7th International Euro-Par Conference Manchester on Parallel Processing, pp.524-534, 2001.
DOI : 10.1007/3-540-44681-8_76

K. C. Sivaramakrishnan, L. Ziarek, and S. Jagannathan, MultiMLton: A multicore-aware runtime for standard ML, Journal of Functional Programming, vol.2000, issue.06, pp.613-674, 2014.
DOI : 10.1145/324133.324234