- 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 Caml Light functional programming language. Includes ReadMe file, version releases, and manual.
|