Studia informatica universalis. JFLA 2010: 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.