Ces neuf 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. Avec également des articles plus proches de tutoriels ou de retours d'expérience.
Studia Informatica Universalis n°7-2 JFLA 2009 - Actes des vingtièmes Journées francophones des langages applicatifs est également présent dans les rayons