Directory

Directory Help Search only in CamlSearch the Web

Caml

Computers > Programming > Languages > ML > Caml

Go to Directory Home

Categories

Objective Caml (25)

Related Categories:
    Computers > Programming > Languages > Comparison and Review  (115)
    Computers > Programming > Languages > Compiled > Functional  (14)
    Computers > Programming > Languages > Functional  (93)
    Computers > Programming > Languages > Garbage Collected  (209)
    Computers > Programming > Languages > Open Source  (80)

Web Pages

Viewing in Google PageRank order               View in alphabetical order

	SPIKE - http://www.loria.fr/equipes/cassis/softwares/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.
	Archive of Caml Weekly News - http://alan.petitepomme.net/cwn/ Mailing list archive from 2001.11.27 to present, all HTML.
	The Caml Language - http://caml.inria.fr/ 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]

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

Modified by Google - ©2008 Google
Advertise with Us - Jobs, Press, Cool Stuff...