The Caml Light / OCaml Hump
The latest Caml language additions on the
Caml Light / OCaml Hump
include CDuce: A strongly typed higher-order functional programming language for XML documents, IBAL: A general-purpose language for probabilistic modeling, parameter estimation and decision making, Fresh Objective Caml: An extension of OCaml with facilities for correctly manipulating object-language syntax involving alpha-convertible names and binding operations, and Flow Caml: A prototype implementation of an information flow analyzer for the Caml language.