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

présentées lors des vingtièmes Journées Francophones des

Langages Applicatifs.

Les neufs articles choisis par le comité de programme reflètent bien 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.

Le comité a également souhaité inclure des articles plus proches du

tutoriels ou de retour d'expérience, ceux-ci étant particulièrement

adaptés au cadre pédagogique des Journées.