the entire directory only in ML/Caml

See also:

• Computers: Programming: Languages: Comparison and Review (79)
• Computers: Programming: Languages: Compiled: Functional (0)
• Computers: Programming: Languages: Functional (57)
• Computers: Programming: Languages: Garbage Collected (4)
• Computers: Programming: Languages: Open Source (2)

This category in other languages:

• French (4)

• Archive of Caml Weekly News - Mailing list archive from 2001.11.27 to present, all HTML.
• 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.
• 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]

Usenet comp.lang.functional - news: - Google Groups
Usenet comp.lang.ml - news: - Google Groups

"Caml" search on:   AOL - Ask - Bing - Gigablast - Google - Lycos - Yahoo - Yippy

Volunteer to edit this category.

Copyright © 2012 Netscape Terms of Use