Our project is interested the compilation of functional languages for multiprocessors. Our theoretical work includes modeling the compilation and the execution of functional programs as first order term rewriting. Our practical works consists in several parallel implementations of strict and lazy ML, on shared memory multiprocessors (Sequent, Encore, and Kendall Square machines).
Recently, we started a new activity on mobility in process calculi.
Official presentations of the project can be found here (in english) and here (in french).
Who we are.