Les modèles traditionnels répondent mal aux besoins des nouvelles applications qui nécessitent des constructeurs plus puissants ainsi qu'un important...
Il est montre qu'il est possible de decrire completement la mise en oeuvre des langages fonctionnels sans quitter le cadre fonctionnel.