Open Directory - Computers: Programming: Languages: ML: Caml

Description

Top
: Computers
: Programming
: Languages
: ML
: Caml (3)

Objective Caml@ (19)

See also:

This category in other languages:

French (4)

Archive of Caml Weekly News - Mailing list archive from 2001.11.27 to present, all HTML.
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.
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]

Usenet comp.lang.functional - news: - Google Groups

Usenet comp.lang.ml - news: - Google Groups

"Caml" search on: AOL - Ask - Bing - Gigablast - Google - Lycos - Yahoo - Yippy

Volunteer to edit this category.

Visit our sister sites mozilla.org | MusicMoz | Wikipedia

Last update: Tuesday, September 26, 2006 12:25:42 PM EDT - edit

Description

Top
: Computers
: Programming
: Languages
: ML
: Objective Caml (19)

Open Directory - Computers: Programming: Languages: ML: Objective Caml

Caml@ (3)
NET (2)

See also:

This category in other languages:

Japanese (4)

The Caml Language - This is the official web page of the OCaml development team. Contains the official distribution, the manual, archives of the mailing list, links to tutorials and contributed libraries (in "The Humps"), style guidelines, books about OCaml.
Camomile - Full Unicode Standard 3.2 library for OCaml. English, Japanese. [Open Source, LGPL]
CocOCaml - A Cocoa based wrapper for the OCaml toplevel environment. It was written to solve a number of the problems one usually runs into while running the toplevel under OS X's terminal.
Developing Applications with Objective Caml - By Emmanuel Chailloux, Pascal Manoury, Bruno Pagano; O'Reilly, 2005. Book online. Many topics and examples covered. One drawback: based on old OCaml version. HTML, PDF.
G'Caml - O'Caml compiler variant, extends ML polymorphism from parametric to non-parametric (extensional). More complex parametricity gives many features impossible or very hard to achieve otherwise: overloading, e.g., type safe value marshalling, ML value printer.
LablGTK - OCaml Gtk+ interface.
O'Jacare - Object-oriented interface between OCaml and Java, code generator to aid interoperability via their object models, defines an IDL and allows a safety execution by static typechecking.
OCaml Advocacy - Lists many advantages, some shortcomings.
OCaml Link Database - Large, indexed, sorted repository of software contributions for OCaml community. Descriptions, downloads, author contacts.
OCaml Software - Includes functional libraries, interfaces to PostgreSQL, LAPACK, Perl regexps; OCamlMakefile, and syntax files for VIM. By Markus Mottl.
OCaml for Scientists - This book teaches the fundamentals of programming using OCaml, assuming little prior knowledge of computer programming. Particular emphasis is placed upon programming paradigms rarely seen in current scientific computing, such as exceptions, polymorphism, higher-order functions, nested functions, pattern matching and modules.
Objective Label - Extension of OCaml with labeled and optional parameters, and polymorphic variants and methods.
Programming with Objective Caml - Home of GODI advanced programming environment for OCaml; news, projects with downloads, links, source tree.
Pycaml - Lets users build native OCaml libraries and use them from Python and conversely.
The JoCaml System - Experimental OCaml extension, distributed join-calculus programming model; high-level communication and synchronizing channels, mobile agents, failure detection, garbage collected. Descriptions, documents, downloads.
Yahoo Groups: OCaml_beginners - Email forum for mutual aid of those who know they're not OCaml gurus yet.
omlet.vim - VIM syntax file for OCaml.

Usenet comp.lang.functional - news: - Google Groups

Usenet comp.lang.ml - news: - Google Groups

Usenet comp.lang.object - news: - Google Groups

Usenet comp.object - news: - Google Groups

Usenet fa.caml - news: - Google Groups

"Objective Caml" search on: AOL - Ask - Bing - Gigablast - Google - Lycos - Yahoo - Yippy

Volunteer to edit this category.

Visit our sister sites mozilla.org | MusicMoz | Wikipedia

Last update: Thursday, March 11, 2010 6:42:19 PM EST - edit

Help build the largest human-edited directory on the web.

Submit a Site - Open Directory Project - Become an Editor

About Serebella.com