ℂDuce: OCamlDuce
OCamlDuce is a merger between OCaml and CDuce. It comes as a modified version of OCaml which integrates CDuce features: XML expressions, regular expression types and patterns, iterators.
The licensing conditions for OCaml and CDuce apply to the files directly derived from these projects. Other files are distributed under a choice of any of two licenses used for OCaml (with the same exceptions).
- A technical report describes the theory behind OCamlDuce's type system (presented at ICFP 2006).
- How to get OCamlDuce: download, installation instructions, packages.
- User's manual.
- Code samples and applications.
- Mailing lists.
ℂDuce: OCamlDuce