Applications

This page collects some examples of applications that use CDuce.

CDuce to build web sites

• The CDuce site itself.
• 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 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

• The Demexp project.
• OC-soap.
• SOSS: SOAP servers with OCamlDuce.

CDuce to create personal home pages

• Véronique Benzaken.
• Alain Frisch.
• Cédric Miachon.
• Shin-Cheng Mu.
• Maxence Guesdon.

CDuce for teaching

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