En partant de l'analyse du modèle de calcul conventionnel, il analyse les implications des langages fonctionnels dans les ordinateurs parallèles, les possibilités d'implantation à l'aide de nouvelles techniques.