• The National Institute for Research in Digital Science and Technology (Inria) (French: Institut national de recherche en sciences et technologies du numérique)...
    10 KB (876 words) - 18:42, 13 September 2024
  • Thumbnail for Coq (software)
    Coq (software) (redirect from Coq.inria.fr)
    higher-order type theory. The development of Coq has been supported since 1984 by INRIA, now in collaboration with École Polytechnique, University of Paris-Sud...
    17 KB (1,766 words) - 02:10, 5 July 2024
  • Thumbnail for HAL (open archive)
    HAL (open archive) (redirect from HAL-Inria)
    institutions, such as Institute for Research in Computer Science and Automation (Inria), have joined the system. While it is primarily directed towards French...
    3 KB (218 words) - 10:02, 12 July 2024
  • Thumbnail for Xavier Leroy
    (directeur de recherche) at the French government research institution Inria. Leroy was admitted to the École normale supérieure in Paris in 1987, where...
    5 KB (314 words) - 07:32, 13 September 2024
  • Thumbnail for Amaya (web editor)
    browsing abilities. It was created by a structured editor project at the INRIA, a French national research institution, and later adopted by the World...
    11 KB (800 words) - 00:39, 11 September 2024
  • France at French Institute for Research in Computer Science and Automation (INRIA) and École normale supérieure (Paris) (ENS). Caml is statically typed, strictly...
    9 KB (858 words) - 10:03, 17 May 2024
  • by the French Institute for Research in Computer Science and Automation (Inria). In the early 2000s, elements from OCaml were adopted by many languages...
    37 KB (4,007 words) - 12:41, 6 September 2024
  • the Danish Research Council for Technology and Production Sciences, and INRIA. The source code of Coccinelle is licensed under the terms of version 2...
    5 KB (401 words) - 17:26, 30 July 2024
  • Thumbnail for F* (programming language)
    and the French Institute for Research in Computer Science and Automation (Inria). Its type system includes dependent types, monadic effects, and refinement...
    7 KB (430 words) - 18:33, 5 September 2024
  • Thumbnail for History of the iPhone
    "Jean-Marie Hullot, visionary computer scientist and tech expert | Inria". INRIA. Retrieved October 15, 2022. Ichibiah, Daniel (2011). Les quatre vies...
    80 KB (6,804 words) - 01:33, 15 September 2024