appli.xml 1.99 KB
Newer Older
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
<?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>
20
21
22
<li><a href="http://www.random-art.org/">Random Art</a>.
 (<a href="http://home.andrej.com/aikido/bin/">Source code</a>
 for a similar site by the same author, Andrej Bauer.)</li>
23
<li><a href="http://www.larouedesecours.com/">La roue de
24
25
26
27
28
29
secours</a>.</li>
<li><a href="http://www.editionsvalroc.com/">ditions Valroc</a>.</li>
</ul>

</section>

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

<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>


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

<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>

56
<section title="CDuce to create personal home pages">
57
58
59
60

<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>
61
<li><a href="http://www.lri.fr/~miachon/index.html">Cdric
62
63
64
65
66
67
Miachon</a>.</li>
<li><a href="http://www.ipl.t.u-tokyo.ac.jp/~scm/">Shin-Cheng Mu</a>.</li>
</ul>

</section>

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

<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>