[ifrss] [ifrss]
Kamusta - The Pinoy Web Directory - Philippines
Melibea Web Directory  |  Save your Bookmarks

Top: Computers: Programming: Languages: ML: Caml:

Caml

Categories:

See Also:
This category in other languages:

French

Sites:

» Archive of Caml Weekly News Open in a new browser window - Mailing list archive from 2001.11.27 to present, all HTML.
» SPIKE Open in a new browser window - 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 Open in a new browser window - 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]


Newsgroups:
This category needs an editor

Last Updated:


Help build the largest human-edited directory on the web.
Submit a Site - Open Directory Project - Become an Editor

The content of this directory is based on the Open Directory