ML Caml

• Objective Caml@

• Computers: Programming: Languages: Functional 
• Computers: Programming: Languages: Open Source 

• Gallium  - Research and project team focuses on design, formalization and implementation of Caml language. With publications, software descriptions, and seminar schedules.
• Inria: Caml Programming Language  - Describes language’s numerous highlights including software reliability, complex structured data process, development speed, and programming secure applications.
• Introduction to Caml  - Details on basics, functions, declared types, modules, and imperative features, with cod samples of the programming language.
• Spike  - Theorem proving system written in the Caml Light functional programming language. Includes ReadMe file, program version releases, and manual.