Caml
Website: caml.inria.fr
Proiectat de: Gérard Huet, Guy Cousineau, Ascánder Suárez, Pierre Weis, Michel Mauny (Heavy Caml), Xavier Leroy (Caml Light)
CAML (inițial un acronim pentru limbajul mașinii abstracte categorice) este un limbaj de programare multi-paradigmă, cu scop general, care este un dialect al familiei de limbaj de programare ML.
CAML a fost dezvoltat în Franța la INRIA și ENS.
CAML este tastat static, evaluat strict și folosește gestionarea automată a memoriei.
OCAML, descendentul principal al CAML, adaugă multe caracteristici limbii, inclusiv un strat de obiect.