Actes des vingt-et-unièmes Journées francophones des langages applicatifs
Ces onze contributions reflètent les récentes avancées de la recherche concernant aussi bien l'application des langages fonctionnels que la conception et l'utilisation d'assistants à la preuve.