Equipe-projet CAMBIUM Langages de programmation : systèmes de types, concurrence, preuve de programme Les travaux de l'équipe visent à améliorer la fiabilité, la sûreté et la sécurité du logiciel en...
©Collège de France - Patrick Imbert Prix & Distinctions Xavier Leroy, élu à l’Académie des sciences : une vie dédiée à l’informatique 21/02/2023
© Inria / Photo B. Fourrier Langages de programmation Cambium dévoile une nouvelle version du langage de programmation OCaml 16/12/2022