appli.xml 1.87 KB
Newer Older
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27
<?xml version="1.0" encoding="ISO-8859-1" standalone="yes"?>
<page name="appli">

<title>Applications using CDuce</title>

<left>
<local-links href="index,documentation"/>
</left>

<box>

<p>
This page collects some examples of applications that use CDuce.
</p>

<section title="CDuce to build web sites">

<ul>
<li>The <a href="http://www.cduce.org/">CDuce</a> site itself.</li>
<li><a href="http://www.random-art.org/">Random Art</a>.</li>
<li><a href="http://www.larouedesecours.com/">La route de
secours</a>.</li>
<li><a href="http://www.editionsvalroc.com/">ditions Valroc</a>.</li>
</ul>

</section>

28
<section title="CDuce in scientific research projects">
29 30 31 32 33 34 35 36 37 38 39 40 41 42 43

<p>
Several research papers mention the use of CDuce.
</p>

<ul>
<li><a href="http://staff.science.uva.nl/~sfissaha/">Extracting
Temporal Information from Open Domain Text: A Comparative
Exploration</a>.</li>
<li><a href="http://www.irit.fr/recherches/TYPES/SVF/strecker/Publications/fesca05.html">Towards formalising AADL in Proof Assistants</a>.</li>
</ul>

</section>


44
<section title="CDuce in software projects or libraries">
45 46 47 48 49 50 51 52 53

<ul>
<li><a href="http://www.demexp.org">The Demexp project</a>.</li>
<li><a
href="http://caml.inria.fr/pub/ml-archives/caml-list/2005/06/de1ec925a81313be4cf7d4d6432d6154.en.html">OC-soap</a>.</li>
</ul>

</section>

54
<section title="CDuce to create personal home pages">
55 56 57 58 59 60 61 62 63 64 65

<ul>
<li><a href="http://www.lri.fr/~benzaken/">Vronique Benzaken</a>.</li>
<li><a href="http://www.eleves.ens.fr/home/frisch">Alain Frisch</a>.</li>
<li><a href="http://www.lri.fr/~miachon/index.html">Cedric
Miachon</a>.</li>
<li><a href="http://www.ipl.t.u-tokyo.ac.jp/~scm/">Shin-Cheng Mu</a>.</li>
</ul>

</section>

66
<section title="CDuce for teaching">
67 68 69 70 71 72 73 74 75 76 77 78

<ul>
<li>The <a href="http://ctp.di.fct.unl.pt/lei/ltpa/">
Linguagens e Tcnicas de Programao Avanadas</a> course at Universidade Nova de Lisboa.</li>
</ul>

</section>

</box>


</page>