Site Meter
web directory
Advertisers
Free Chat Rooms   UK Chat Rooms   Chat Community   Free Chat Rooms   Punk Rock T-Shirts   
Elevating Manual Wheelchairs   Chat   
Home | Directory Submission | Buy Text Links | Current Headlines | Theaters and Showtimes | News Archive |
Suggest a Site | Check Status | Our Site Maps (Beta) | About Neorunner.com
Top: Computers: Programming: Languages: ML: Caml:
Donate to the ASPCA Today!

    See also:

    This category in other languages:

    • 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.
    Search for "Caml" on the following search engines:
    Google | Yahoo | MSN | Alta Vista | Dogpile | Ditto Image Search |
    Caml - Computers - Programming - Languages - ML - Caml
    Help build the largest human-edited directory on the web.
    Submit a Site - Open Directory Project - Become an Editor
    Repair Credit   Online Option Trading   Gate Operator   Harley Davidson Accessories