IASAbout IASDesignHostingPromotionConsultingContact

    Caml ML Languages













Caml ML Languages



    Top: Computers: Programming: Languages: ML: Caml

See Also:

  • 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.


Help build the largest human-edited directory on the web.
Submit a Site - Open Directory Project - Become an Editor
Click here to add, change or remove your listing

Top


Home | About IAS | Web Design | Web Hosting | Promotion | Consulting | Support | Contact IAS

Copyright © 1995-2009 Internet Advertising Solutions, Inc.
 Copyright Notice | Privacy Policy | Site Map | APR







  MySQL - Cache Direct sec.