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.