HIGH-FLYER ARCHIVES       AVERAGE ARCHIVES       GERMAN ARCHIVES       OTHER RESOURCES       PROGRAMMING/ INTERNET       LANGUAGES/ SCRIPTING     

MetaDirectory

» Start » Languages » ML » Caml  

Objective Caml@  (25)

See also:

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

This category in other languages:
	French  (5)

• 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

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 Link Tip
   Google Dance Tool
   Royalty Free Stock Photos

• term papers
• Search Engine Ranking

 

 

 Partner Sites
   PHP Scripts
   Online Appointment Scheduling