» tagged pages
» logout

(Feed found, click Add Page to syndicate.) Error finding feed, please try again » Find feed title

A Blog Page allows you to add entries, for news or other time sensitive postings

(Login required to save to your tagged pages.)
(or Cancel)

Make further edits, (or Cancel)

(Login required to save to your tagged pages.)
(or Cancel)

(Editing anonymously: to be credited for your changes, login or register a new account)

Change Page Permissions? Changing these permissions will adjust who can modify this page.

jerryk (change)
Swik Users (change)
(or Cancel)
Upload an image from your computer:
or Copy an image from a URL:
or Erase the current icon:
Icon Preview:

or Cancel

Erase ocaml? The contents of ocaml page and all pages directly attached to ocaml will be erased.

or Cancel

(Editing anonymously: to be credited for your changes, login or register a new account)

other page actions:
ocaml

OCaml

Tags Applied to ocaml

1 person has tagged this page:

Objective Caml is the latest implementation of the Caml dialect of ML. It has full support for objects and classes combined with ML-style type reconstruction, a powerful module calculus in the style of Standard ML (but retaining separate compilation), a high-performance native code compiler (in addition to a Caml Light-style bytecode compiler), and labeled arguments with possible default value.

caml.inria.fr
Q Public License (QPL)

sorted by: recent | see : popular
Content Tagged ocaml

Translations

Perspective that relates ways to interpret natural (Sound ← Syntax → Meaning) and programming (Form ← Expression → Meaning) langs. Representing an expression as a program that is parametrically polymorphic in types that are either form or meaning.

Haskell: del.icio.us tag/haskell

OCaml Software

ocaml wrapper for the Expat XML parsing library,the libevent API,and a unit test framework for OCaml.

XML: del.icio.us/tag/xml

Cryptol Home

Cryptol is a domain specific language for Cryptographic applications, currently developed by Galois Connections, Inc. This web-site contains a description of the language and detailed documentation on Cryptol.

Haskell: del.icio.us tag/haskell

http://www.cas.mcmaster.ca/~carette/pa_monad/README

A camlp4 / ocaml transformation for Haskell-style do-notation. Sweet!

Haskell: del.icio.us tag/haskell

Page 1 | Next >>
Username:
Password:
(or Cancel)