Archive of Caml Weekly News
CWN 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.

Archive of Caml Weekly News
CWN 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.

Archive of Caml Weekly News
CWN 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.

Results: 1 2

( Add Your Site )

» Advertising » Affiliate Program » Business » Computers » Construction » Consulting » Education » Entertainment » Financial Services » Food » Forum » Furniture » Gambling » Games » Garden » Graphic Design » Hardware » Health » Home » Human Resources » Internet » ISP » Law » Marketing » Mortgage

» Music » News » Others » Personal Site » Portal » Real Estate » Recreation » Search Engine Optimization » Security » Shopping » Society » Software » Sports » Telecommunications » Transportation » Travel » Web Design » Web Hosting Directory » Web Hosting Guide » Web Hosting Providers » Web Hosting Reviews » Web Marketing » Web Template » Webmaster Resources » World