Ces neuf contributions reflètent les récentes avancées de la recherche concernant aussi bien l'application des langages fonctionnels que la conception...
Lire la suite
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