Maps

Sports

	Search The Web \| Google News Headlines
the entire directory only in this category

Caml

Objective Caml@ (25)

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

Our Friends
Low Cost Limos Airport Limousines Prom Limousines Florida Tourist Center Atlanta Wedding Network Florida Bridal Shops	Limos 4 Prom Limo Master Limo Advisor Hot Wedding Deals Connecticut Bridal Shop Jamaica Tourist Center	Limos For Weddings On Call 24 Hours NY Diamond Brokers Orlando Bridal Shop Lap Dance Limos Limos For Weddings	Prom Limo Jamaica Wedding Center New York Wedding Miami Bridal Shop Naughty Limos Novelas

Home Business Opportunity. Investing. Transportation Limousine Service New York. Hummer Limousine. Limousine Connecticut.