Translate to:
German
French
Spanish
Portugese
Italian
Dutch
| Top: Computers: Programming: Languages: ML: Caml (3) |
|
See also:
- Computers: Programming: Languages: Comparison and Review (119)
- Computers: Programming: Languages: Compiled: Functional (0)
- Computers: Programming: Languages: Functional (48)
- Computers: Programming: Languages: Garbage Collected (4)
- Computers: Programming: Languages: Open Source (2)
- 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]
- SPIKE - 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.
|
| AltaVista - A9 - AOL - Ask - Clusty - Gigablast - Google - Lycos - MSN - Yahoo |  |