In Partnership with AOL
See also:
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]
  • 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.
Volunteer to edit this category.
Copyright © 1998-2016 AOL Inc. Terms of Use
Visit our sister sites | MusicMoz | Wikipedia

Last update: January 2, 2007 at 19:58:03 UTC - edit