- Archive of Caml Weekly News
CWN from 2001.11.27 to present, all HTML.
http://pauillac.inria.fr/~aschmitt/cwn/
(Added: Mon Apr 03 2006 Rating: 0.00 Votes: 0)
Rate It
Review It
- 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.
http://www.loria.fr/equipes/cassis/softwares/spike/
(Added: Thu Apr 06 2006 Rating: 0.00 Votes: 0)
Rate It
Review It
- 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]
http://caml.inria.fr/
(Added: Mon Apr 03 2006 Rating: 0.00 Votes: 0)
Rate It
Review It
|
|
