become an editor
the entire directory
only in ML/Caml
Open Directory - Computers: Programming: Languages: ML: Caml
Computers: Programming: Languages: Comparison and Review
Computers: Programming: Languages: Compiled: Functional
Computers: Programming: Languages: Functional
Computers: Programming: Languages: Garbage Collected
Computers: Programming: Languages: Open Source
This category in other languages:
Archive of Caml Weekly News
- Mailing list archive from 2001.11.27 to present, all HTML.
The Caml Language
- Strongly-typed, safe, automatic statically type-checked functional programming language from ML family. Powerful, easy to learn. Descriptions, documents, resources, downloads. English, Français. [Open Source, INRIA]
- Automatic theorem prover for Horn equational logics, coded in Caml Light, Tcl/Tk graphic interface allows mouse-menus interaction; supports building correct specifications via verifying properties by induction. Description, downloads.
Usenet comp.lang.functional -
Usenet comp.lang.ml -
" search on:
to edit this category.
Copyright © 2013 Netscape
Visit our sister sites
Last update: Tuesday, January 2, 2007 7:58:03 PM EST -