OCamlDuce is an enhancement to OCaml that allows one to use XML features,
such as types and values, natively in OCaml programs.

WWW: http://www.cduce.org/ocaml