Caml

Paradigms	functional programming, multi-paradigm programming, imperative programming
Typing discipline	static typing, inference typing, strong typing
First appeared	1985
Designed by	Gérard Huet
Developer	Institut National de Recherche en Informatique et en Automatique
Type	dialect
Influenced by	ML
Latest version	4.07
Website	caml.inria.fr