MetaXearch > / Programming / Languages / ML / 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] (infos) Archive of Caml Weekly News CWN from 2001.11.27 to present, all HTML. (infos) 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. (infos) Help build the largest human-edited directory on the web. Submit a Site - Open Directory Project - Become an Editor

Statistics

• 3 364 435 urls

© MetaXearch - All rights reserved