L. G. Valiant, A Bridging Model for Parallel Computation, Commun. ACM, vol.33, issue.8, pp.103-111, 1990.
DOI : 10.1145/79173.79181

F. Loulergue, F. Gava, and D. Billiet, Bulk Synchronous Parallel ML: Modular Implementation and Performance Prediction, Computational Science-ICCS 2005, pp.1046-1054, 2005.
DOI : 10.1007/11428848_132

Y. Bertot and P. Castéran, Interactive Theorem Proving and Program Development-Coq'Art: The Calculus of Inductive Constructions
URL : https://hal.archives-ouvertes.fr/hal-00344237

. Springer, , 2004.

L. G. Valiant, A Bridging Model for Multi-core Computing, J. Comput. Syst. Sci, vol.77, issue.1, pp.154-166, 2011.

V. Allombert, Functional Abstraction for Programming Multi-Level Architectures: Formalisation and Implementation, 2017.
URL : https://hal.archives-ouvertes.fr/tel-01693568

V. Allombert, F. Gava, and J. Tesson, Multi-ML: Programming Multi-BSP Algorithms in ML, International Journal of Parallel Programming, vol.45, issue.2, p.20, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01160164

X. Leroy, D. Doligez, A. Frisch, J. Garrigue, D. Rémy et al., The OCaml system release 4.06: Documentation and user's manual, 2017.
URL : https://hal.archives-ouvertes.fr/hal-00930213

V. Allombert, F. Gava, and J. Tesson, A formal semantics of the MultiML language, International Symposium on Parallel and Distributed Computing, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01835315

M. Snir, S. Otto, S. Huss-lederman, D. Walker, and J. Dongarra, MPIThe Complete Reference, 1998.

M. Cole, Bringing Skeletons out of the Closet: A Pragmatic Manifesto for Skeletal Parallel Programming, Parallel Comput, vol.30, issue.3, pp.389-406, 2004.

M. H. Alt, Using algorithmic skeletons for efficient grid computing with predictable performance, 2007.

P. J. Landin, The Mechanical Evaluation of Expressions, The Computer Journal, vol.6, issue.4, pp.308-320, 1964.

G. Cousineau, P. L. Curien, and M. Mauny, The Categorical Abstract Machine, Proc. Of a Conference on Functional Programming Languages and Computer Architecture, pp.50-64, 1985.

L. Cardelli, Compiling a Functional Language, Proceedings of the 1984 ACM Symposium on LISP and Functional Programming, pp.208-217, 1984.

X. Leroy, The ZINC experiment: An economical implementation of the ML language, INRIA, Tech. Rep, 1990.
URL : https://hal.archives-ouvertes.fr/inria-00070049

S. L. Peyton-jones, The Implementation of Functional Programming Languages (Prentice-Hall International Series in Computer Science), 1987.

A. Merlin, G. Hains, and F. Loulergue, An SPMD environment machine for functional BSP programs, 2001.

F. Gava and F. Loulergue, A Polymorphic Type System for Bulk Synchronous Parallel ML, Parallel Computing Technologies, pp.215-229, 2003.

M. Pedicini, G. Pelliatta, and M. Piazza, Sequential and Parallel Abstract Machines for Optimal Reduction, 2014.

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.

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.

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

M. Steuwer, T. Remmelg, and C. Dubach, Lift: A Functional Data-parallel IR for High-performance GPU Code Generation, Proceedings of the 2017 International Symposium on Code Generation and Optimization, ser. CGO '17, pp.74-85, 2017.