Despite their vast deployment, distributed memory multiprocessors (DMM) still remain di cult
to program, this is why portable and e cient languages are de nitely needed. For the time …

The thesis discusses the design, expressive power, and implementation of parallel
programming languages for collections, the fragment dealing with collections of an object …

Certains problèmes nécessitent des performances que seules les machines massivement
parallèles ou les méta-ordinateurs peuvent offrir. L'écriture d'algorithmes pour ce type de …

This paper presents a new functional parallel language: Minimally Synchronous Parallel ML
(MSPML). The execution time can be estimated, dead-locks and indeterminism are avoided …

We have built an extension of Standard ML aimed at multicomputer platforms with
distributed memories. The resulting language, paraML, differs from other extensions by …

Caml-FLight est une extension parall ele de type SPMD du langage Caml-Light. Un
programme Caml-FLight ex ecute une copie de lui m^ eme sur un nombre xe de processus …

We describe and verify a data-parallel semantics for the simply-typed-calculus and obtain a
semantic function expressible in its object language. The explicitly distributed semantics o …

This talk will outline work conducted in my group (in Montreal) during the last few years on
the design of portable and e cient parallel functional languages. It o ers a personal view of …

Cet article présente l'ajout, à un langage fonctionnel parallèle appelé Minimally
Synchronous Parallel ML (MSPML), d'une primitive pour la composition parallèle, appelée …

In this paper we propose a new framework for parallel processing of collections. We de ne a
high-level language called CoPa for processing nested sets, bags, and sequences (a …