STUDIA INFORMATICA UNIVERSALIS N 7-2 JFLA 2009 - ACTES DES VINGTIEMES JOURNEES FRANCOPHONES DES LANG (STUDIA INFORMAT)

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.