Cet ouvrage réunit les contributions scientifiques qui ont été

présentées lors des vingt-et-unièmes Journées Francophones des

Langages Applicatifs.

Les onze articles choisis par le comité de programme reflètent la diversité

de notre communauté ainsi que ses récentes avancées, tant du point

de vue de l'application des langages fonctionnels que de la conception

et de l'utilisation d'assistants à la preuve.