Précédent : References Remonter : Projet PARA

Abstract

The PARA project traditionally studies interactions between concurrency and functional programming. Since 1995, our focus is on languages for mobile applications. We defined a higher-order distributed language with mobility and error detection primitives based on the join-calculus. In 1996, we mainly developed its implementation, which will be released in January 1997. Theoretical results have also been expressed on explicit substitutions, incremental computations, and abstract reduction systems.