CODIGO
log in

Caml

Paradigms

imperative, functional

Typing

static system, strong typing, full inference

Influenced By

ML

External Links

Type programming
Created 1985
Designed by Gérard Huet
Developed by Institut National de Recherche en Informatique et en Automatique
PyPL Index N/A
TIOBE Index N/A
GitHub rank N/A