GNU Lesser General Public License, version 2.1

5 programming languages

Language	Paradigms	First appeared	Developer
Gambit	—	—	—
Jolie	—	—	Fabrizio Montesi
OCaml	functional programming, modular programming, object-oriented programming, imperative programming	1996	Institut National de Recherche en Informatique et en Automatique
Rocq prover	purely functional programming	1984	Institut National de Recherche en Informatique et en Automatique
Toit	—	—	—