Home >> Computers >> Programming >> Languages >> ML >> Caml


  Objective Caml
       


CAML can mean: Categorical_Abstract_Machine_Language, a version of ML Collaborative Application Markup Language, an XML-Based markup language utilized using a Microsoft SharePoint collaborative portal application. The California Mathematics League

pt:Caml

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]

Archive of Caml Weekly News
CWN 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.
Computers: Programming: Languages: Compiled: Functional
Computers: Programming: Languages: Functional
Computers: Programming: Languages: Garbage Collected
Computers: Programming: Languages: Open Source





© 2005 GeneralAnswers.org