A Bridging Model for Parallel Computation, Commun. ACM, vol.33, issue.8, pp.103-111, 1990. ,
DOI : 10.1145/79173.79181
Bulk Synchronous Parallel ML: Modular Implementation and Performance Prediction, Computational Science-ICCS 2005, pp.1046-1054, 2005. ,
DOI : 10.1007/11428848_132
Interactive Theorem Proving and Program Development-Coq'Art: The Calculus of Inductive Constructions ,
URL : https://hal.archives-ouvertes.fr/hal-00344237
, , 2004.
A Bridging Model for Multi-core Computing, J. Comput. Syst. Sci, vol.77, issue.1, pp.154-166, 2011. ,
Functional Abstraction for Programming Multi-Level Architectures: Formalisation and Implementation, 2017. ,
URL : https://hal.archives-ouvertes.fr/tel-01693568
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
The OCaml system release 4.06: Documentation and user's manual, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-00930213
A formal semantics of the MultiML language, International Symposium on Parallel and Distributed Computing, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01835315
MPIThe Complete Reference, 1998. ,
Bringing Skeletons out of the Closet: A Pragmatic Manifesto for Skeletal Parallel Programming, Parallel Comput, vol.30, issue.3, pp.389-406, 2004. ,
Using algorithmic skeletons for efficient grid computing with predictable performance, 2007. ,
The Mechanical Evaluation of Expressions, The Computer Journal, vol.6, issue.4, pp.308-320, 1964. ,
The Categorical Abstract Machine, Proc. Of a Conference on Functional Programming Languages and Computer Architecture, pp.50-64, 1985. ,
Compiling a Functional Language, Proceedings of the 1984 ACM Symposium on LISP and Functional Programming, pp.208-217, 1984. ,
The ZINC experiment: An economical implementation of the ML language, INRIA, Tech. Rep, 1990. ,
URL : https://hal.archives-ouvertes.fr/inria-00070049
The Implementation of Functional Programming Languages (Prentice-Hall International Series in Computer Science), 1987. ,
An SPMD environment machine for functional BSP programs, 2001. ,
A Polymorphic Type System for Bulk Synchronous Parallel ML, Parallel Computing Technologies, pp.215-229, 2003. ,
Sequential and Parallel Abstract Machines for Optimal Reduction, 2014. ,
NestStep: Nested Parallelism and Virtual Shared Memory for the BSP Model, The Journal of Supercomputing, vol.17, issue.3, pp.245-262, 2000. ,
Nepal-Nested Data Parallelism in Haskell, Proceedings of the 7th International Euro-Par Conference Manchester on Parallel Processing, pp.524-534, 2001. ,
MultiMLton: A multicore-aware runtime for standard ML, Journal of Functional Programming, vol.24, issue.06, pp.613-674, 2014. ,
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. ,