Institut National de Recherche en Informatique et en Automatique

Type	French public establishment of a scientific and technological character
Country	France
Headquarters	Le Chesnay
Founded	1967
Industry	information processor, control engineering, computer security, research and development in other physical and natural sciences, information security, computer science
Website	inria.fr
Employees	4,838

Languages · 7

Language	Paradigms	First appeared
ASSIRIS	imperative programming	1966
Caml	functional programming, multi-paradigm programming, imperative programming	1985
F*	functional programming, imperative programming	—
JoCaml	—	—
Le Lisp	—	—
OCaml	functional programming, modular programming, object-oriented programming, imperative programming	1996
Rocq prover	purely functional programming	1984

Operating system	First release	License
ChorusOS	—	BSD licenses, GNU Lesser General Public License, Mozilla Public License, Sun Public License