Applications

This page collects some examples of applications that use or used CDuce once.
WARNING: some links may be obsolete.

CDuce to build web sites

• The CDuce site itself (of course!).
• The Typex project's site
• Random Art. (Source code for a similar site by the same author, Andrej Bauer.)
• La roue de secours.
• Éditions Valroc.
• Groupe de Réflexion Interdisciplinaire sur les Programmes.

CDuce in industrial software production

• Metaware.fr which uses CDuce to do automatic language migrations

CDuce in scientific research projects

Several research papers mention the use of CDuce.

• Extracting Temporal Information from Open Domain Text: A Comparative Exploration.
• Towards formalising AADL in Proof Assistants.

CDuce in software projects or libraries

• OcCDuce: developping client/server Web applications with ℂDuce and Ocsigen.
• OCamlDuce: integrating ℂDuce features into OCaml
• XStream: streaming for XML transformations
• Mysite program by Maxence Guesdon.
• The Demexp project.
• OC-soap.
• SOSS: SOAP servers with OCamlDuce.

CDuce to create personal home pages

• Véronique Benzaken.
• Guillaume Burel. You can consult here what he thinks about ℂDuce
• Giuseppe Castagna.
• Alain Frisch.
• Cédric Miachon.
• Shin-Cheng Mu.
• Kim Nguyen.

CDuce for teaching

• The Linguagens e Técnicas de Programação Avançadas course at Universidade Nova de Lisboa.