Subdirectories of Caml:
Categories related to Computers: Programming: Languages: ML: Caml: Computers: Programming: Languages: Comparison and Review (119) Computers: Programming: Languages: Compiled: Functional (0) Computers: Programming: Languages: Functional (48) Computers: Programming: Languages: Garbage Collected (4) Computers: Programming: Languages: Open Source (2) Websites on Caml: 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.
|
|