trunk/web/index.xml

<?xml version="1.0" encoding="ISO-8859-1" standalone="yes"?>
<page name="index" url="/">

<title>CDuce</title>
<!--
<banner>
  <img title="CDuce" src="img/cduce_logo.jpg" width="400" height="206"
       alt="CDuce"/>
</banner>
-->

<left>
<p>On this page:</p>
<boxes-toc/>
<p>Under this page:</p>
<pages-toc/>
</left>

<include file="download.xml"/>
<!--<external href="http://reglisse.ens.fr/cgi-bin/cduce" title="Online
demo" name="proto"/>-->
<include file="documentation.xml"/>
<include file="resources.xml"/>
<!-- <include file="hacking.xml"/> -->
<!-- Note: this is no longer relevant -->
<include file="ocaml.xml"/>
<!--<include file="stages.xml"/>-->
<include file="funding.xml"/>
<include file="contacts.xml"/>
<include file="sitemap.xml"/>

<left>
<p>This site is automatically generated
by <a href="examples.html#site">a CDuce program</a>.
</p><p><img src="img/cducepower.jpg" alt="Powered by CDuce"/></p>
</left>

<box title="Latest News" link="news">
    <p><b>2008, Mar 28th: Cduce now part of Fedora !</b><br/> <a href="http://groups.google.com/group/fa.caml/browse_thread/thread/1e913d05d9b4b745/1314cf48d3d5e7d9">Read</a> the announce from Richard Jones on the ocaml mailing list.
    <br/>
      For Fedora 8 and higher just execute as root
    </p>
<sample highlight="false">
        yum install cduce
</sample> 


<p><b>2008, Feb 25th: CDuce 0.5.2 is out!</b><br/> This is a minor bug-fix
    release. A new MacOsX binary package is avalaible. See the
    <local href="download"/> page for download information, or the
    <a href="http://www.cduce.org/cgi-bin/viewcvs.cgi/*checkout*/cduce/trunk/CHANGES">CHANGES</a>
    file to know what's new.
</p>


<p><b>2008, Jan 30th: CDuce 0.5.1 is out!</b><br/>
This is now shipped with a new Windows XP binary package, a MacOsX binary
package and several Linux distribution Packages. See the
<local href="download"/> page for download information, or the
<a href="http://www.cduce.org/cgi-bin/viewcvs.cgi/*checkout*/cduce/trunk/CHANGES">CHANGES</a>
file to know what's new.
</p>

<p><b>2007, Jun 12th: CDuce 0.5.0 is out!</b><br/>
See the <local href="download"/>
page for download information, or the <a href="http://www.cduce.org/cgi-bin/viewcvs.cgi/*checkout*/cduce/trunk/CHANGES">CHANGES</a>
file to know what's new.
</p>
<p>
GODI users can simply update their <tt>apps-cduce</tt> package. 
</p>

<p><b>2007, May 23rd: CDuce 0.4.2 is out!</b><br/>
See the <local href="download"/>
page for download information, or the <a href="http://www.cduce.org/cgi-bin/viewcvs.cgi/*checkout*/cduce/trunk/CHANGES">CHANGES</a>
file to know what's new.
</p>
<p>
GODI users can simply update their <tt>apps-cduce</tt> package. 
</p>

<p><b>2007, May 11th: AADL parser in OCaml, with OCamlDuce</b>
<br/>
Erwan Jahier and Louis Mandel used OCamlDuce to implement
<a
href="http://www-verimag.imag.fr/~synchron/aadl4ocaml/">AADL4OCaml</a>,
a parser for AADL (Architecture Analysis &amp; Design Language).
</p>

<p><b>2006, Nov 24th: SOAP servers in OCaml, with
OCamlDuce</b>
<br/>
Stefan Lampe used OCamlDuce to implement 
<a href="http://www.caterpillarjones.org/soss/">SOSS</a>,
a SOAP server for OCaml, designed to allow
a service, developed in OCaml, to be made available as a SOAP service
with minimal effort. 
</p>

</box>

<box title="What is CDuce ?" link="whatis">

<p> <b>CDuce</b> is a modern XML-oriented functional language with 
innovative features. A compiler is available under the terms of an open-source
license. CDuce is type-safe, efficient, and offer powerful constructions
to work with XML documents. </p>
<ul>
<li><local href="documentation">Documentation</local></li>
<li>Some <local href="examples">examples</local> of CDuce programs</li>
<li><local href="design_features"/>: background
information about the design of CDuce</li>
<li><local href="appli"/></li>
<li><local href="contrib"/></li>
<li><local href="contacts"/></li>
<li><local href="download">How to get CDuce</local>: download sources, Debian
or GODI packages</li>
</ul>

<p>Trying CDuce online:</p>
<ul>
<li><local href="proto">On-line prototype</local>:
try the examples and play with them in your web browser.</li>
<li>Interactive <local href="demo">demo page</local>
(used for the demonstration at PLAN-X 2005), requires
a Mozilla-derived browser.</li>
</ul>

<p>
For more information, you can contact
<a href="mailto:info@cduce.org">info@cduce.org</a>.
</p>

</box>

<box title="CDuce: the research project" link="research">

<p> The CDuce project is a spin-off of a research effort split
amongst two <a href="http://www.cnrs.fr">CNRS</a> labs (the <a
href="http://www.di.ens.fr/~castagna/EQUIPE"><b>Languages</b></a>
group of ENS in Paris and the <a
href="http://www.lri.fr/bd"><b>Databases</b></a> group of LRI in
Orsay), and one <a href="http://www.inria.fr">INRIA</a> project (the
<a href="http://gallium.inria.fr"><b>Gallium</b></a> project).
</p>
<ul>
<li><local href="papers"/></li>
<li><local href="funding"/></li>
<li><local href="ocaml"/>: integrating
CDuce features into <a href="http://caml.inria.fr">OCaml</a></li>
<li><a href="http://gallium.inria.fr/~frisch/xstream/">XStream</a>:
  streaming for XML transformations</li>
</ul>

</box>

<box title="Other pages" link="misc">
<ul>
<li><local href="img"/>.</li>
<li><local href="soutenance"/>.</li>
<li><local href="soutenance-miachon"/>.</li>
<li>An online tool to <local href="dtd2cduce">convert from DTD to
CDuce types</local>.</li>
<li><local href="bench"/>.</li>
</ul>

<xhtml>
<form method="get" action="http://www.google.com/search">
<div>
<input type="hidden" name="ie" value="UTF-8"/>
<input type="hidden" name="oe" value="UTF-8"/>
<table><tr><td>
<a href="http://www.google.com/">
<img style="border:0;" src="http://www.google.com/logos/Logo_40wht.gif" 
 alt="Google"/></a>
</td>
<td>
<input type="text" name="q" size="31" maxlength="255" value=""/>
<input type="submit" name="btnG" value="Google Search"/>
<input type="hidden" name="domains" value="http://www.cduce.org"/>
<br/>
<span style="font-size:80%">
<input type="radio" name="sitesearch" value=""/> WWW 
<input type="radio" name="sitesearch" value="http://www.cduce.org"
checked="checked"/> http://www.cduce.org
</span>
<br/>
</td></tr></table>
</div>
</form>
</xhtml>

</box>

<meta>
<p>
<a href="comeon.htm">
<img style="border:0;width:88px;height:31px"
     src="img/cducepower3.png" 
     alt="Powered by CDuce"/>
</a>

<a href="http://validator.w3.org/check?uri=http%3A%2F%2Fwww.cduce.org">
<img style="border:0;width:88px;height:31px"
     src="http://www.w3.org/Icons/valid-xhtml10"
     alt="Valid XHTML 1.0!"/>
</a>

<a href="http://jigsaw.w3.org/css-validator/check/referer">
<img style="border:0;width:88px;height:31px"
     src="http://jigsaw.w3.org/css-validator/images/vcss" 
     alt="Valid CSS!"/>
</a>

<a href="http://www.ens.fr">
<img style="border:0"
     src="img/symbENSmio.gif"
     alt="ENS" title="ENS"/>
</a>

<a href="http://www.u-psud.fr">
<img style="border:0" 
     src="img//symbP11mio.gif" 
     alt="Paris 11" title="Paris 11"/>
</a>

<a href="http://www.cnrs.fr">
<img style="border:0" 
     src="img/symbCNRSmio.gif" 
     alt="CNRS" title="CNRS"/>
</a>
<a href="http://www.inria.fr">
<img style="border:0" 
     src="img/inria.gif" 
     alt="INRIA" title="INRIA"/>
</a>
<script type="text/javascript"  src="http://codice.shinystat.it/cgi-bin/getcod.cgi?USER=cducer"></script>
</p>
</meta>

</page>
1	abate	253	<?xml version="1.0" encoding="ISO-8859-1" standalone="yes"?>
2	abate	1065	<page name="index" url="/">
3	abate	253
4	abate	1925	<title>CDuce</title>
5			<!--
6	abate	253	<banner>
7			<img title="CDuce" src="img/cduce_logo.jpg" width="400" height="206"
8			alt="CDuce"/>
9			</banner>
10	abate	1925	-->
11	abate	253
12	abate	341	<left>
13			<p>On this page:</p>
14			<boxes-toc/>
15			<p>Under this page:</p>
16			<pages-toc/>
17			</left>
18	abate	253
19	abate	1925	<include file="download.xml"/>
20	abate	1406	<!--<external href="http://reglisse.ens.fr/cgi-bin/cduce" title="Online
21			demo" name="proto"/>-->
22	abate	681	<include file="documentation.xml"/>
23	abate	1925	<include file="resources.xml"/>
24	abate	1291	<!-- <include file="hacking.xml"/> -->
25			<!-- Note: this is no longer relevant -->
26	abate	1636	<include file="ocaml.xml"/>
27	abate	1925	<!--<include file="stages.xml"/>-->
28	abate	1344	<include file="funding.xml"/>
29	abate	1925	<include file="contacts.xml"/>
30	abate	341	<include file="sitemap.xml"/>
31	abate	253
32	abate	341	<left>
33	abate	1722	<p>This site is automatically generated
34			by <a href="examples.html#site">a CDuce program</a>.
35	abate	974	</p><p><img src="img/cducepower.jpg" alt="Powered by CDuce"/></p>
36	abate	341	</left>
37	abate	253
38	abate	1223	<box title="Latest News" link="news">
39	abate	3992	<p><b>2008, Mar 28th: Cduce now part of Fedora !</b><br/> <a href="http://groups.google.com/group/fa.caml/browse_thread/thread/1e913d05d9b4b745/1314cf48d3d5e7d9">Read</a> the announce from Richard Jones on the ocaml mailing list.
40	beppe	3999	<br/>
41	beppe	4002	For Fedora 8 and higher just execute as root
42	abate	3992	</p>
43	beppe	3999	<sample highlight="false">
44	beppe	4002	yum install cduce
45	beppe	3999	</sample>
46	abate	1909
47	beppe	3999
48
49	abate	3988	<p><b>2008, Feb 25th: CDuce 0.5.2 is out!</b><br/> This is a minor bug-fix
50			release. A new MacOsX binary package is avalaible. See the
51			<local href="download"/> page for download information, or the
52			<a href="http://www.cduce.org/cgi-bin/viewcvs.cgi/checkout/cduce/trunk/CHANGES">CHANGES</a>
53			file to know what's new.
54			</p>
55
56
57	abate	3958	<p><b>2008, Jan 30th: CDuce 0.5.1 is out!</b><br/>
58	abate	3985	This is now shipped with a new Windows XP binary package, a MacOsX binary
59			package and several Linux distribution Packages. See the
60			<local href="download"/> page for download information, or the
61			<a href="http://www.cduce.org/cgi-bin/viewcvs.cgi/checkout/cduce/trunk/CHANGES">CHANGES</a>
62	abate	3958	file to know what's new.
63			</p>
64
65	abate	1954	<p><b>2007, Jun 12th: CDuce 0.5.0 is out!</b><br/>
66			See the <local href="download"/>
67	abate	3958	page for download information, or the <a href="http://www.cduce.org/cgi-bin/viewcvs.cgi/checkout/cduce/trunk/CHANGES">CHANGES</a>
68	abate	1954	file to know what's new.
69			</p>
70			<p>
71			GODI users can simply update their <tt>apps-cduce</tt> package.
72			</p>
73
74	abate	1950	<p><b>2007, May 23rd: CDuce 0.4.2 is out!</b><br/>
75			See the <local href="download"/>
76	abate	3958	page for download information, or the <a href="http://www.cduce.org/cgi-bin/viewcvs.cgi/checkout/cduce/trunk/CHANGES">CHANGES</a>
77	abate	1950	file to know what's new.
78			</p>
79			<p>
80			GODI users can simply update their <tt>apps-cduce</tt> package.
81			</p>
82
83	abate	1947	<p><b>2007, May 11th: AADL parser in OCaml, with OCamlDuce</b>
84			<br/>
85			Erwan Jahier and Louis Mandel used OCamlDuce to implement
86			<a
87			href="http://www-verimag.imag.fr/~synchron/aadl4ocaml/">AADL4OCaml</a>,
88			a parser for AADL (Architecture Analysis & Design Language).
89			</p>
90
91			<p><b>2006, Nov 24th: SOAP servers in OCaml, with
92	abate	1927	OCamlDuce</b>
93			<br/>
94	abate	1919	Stefan Lampe used OCamlDuce to implement
95			<a href="http://www.caterpillarjones.org/soss/">SOSS</a>,
96			a SOAP server for OCaml, designed to allow
97			a service, developed in OCaml, to be made available as a SOAP service
98			with minimal effort.
99			</p>
100
101	abate	674	</box>
102
103	abate	258	<box title="What is CDuce ?" link="whatis">
104	abate	253
105	abate	1722	<p> <b>CDuce</b> is a modern XML-oriented functional language with
106			innovative features. A compiler is available under the terms of an open-source
107			license. CDuce is type-safe, efficient, and offer powerful constructions
108			to work with XML documents. </p>
109			<ul>
110	abate	1929	<li><local href="documentation">Documentation</local></li>
111			<li>Some <local href="examples">examples</local> of CDuce programs</li>
112	abate	1722	<li><local href="design_features"/>: background
113	abate	1929	information about the design of CDuce</li>
114			<li><local href="appli"/></li>
115			<li><local href="contrib"/></li>
116			<li><local href="contacts"/></li>
117	abate	1722	<li><local href="download">How to get CDuce</local>: download sources, Debian
118	abate	1929	or GODI packages</li>
119	abate	1722	</ul>
120	abate	1655
121	abate	1927	<p>Trying CDuce online:</p>
122	abate	1722	<ul>
123			<li><local href="proto">On-line prototype</local>:
124			try the examples and play with them in your web browser.</li>
125			<li>Interactive <local href="demo">demo page</local>
126			(used for the demonstration at PLAN-X 2005), requires
127			a Mozilla-derived browser.</li>
128			</ul>
129
130			<p>
131			For more information, you can contact
132			<a href="mailto:info@cduce.org">info@cduce.org</a>.
133	abate	1655	</p>
134
135	abate	1722	</box>
136
137			<box title="CDuce: the research project" link="research">
138
139	abate	1655	<p> The CDuce project is a spin-off of a research effort split
140			amongst two <a href="http://www.cnrs.fr">CNRS</a> labs (the <a
141	abate	258	href="http://www.di.ens.fr/~castagna/EQUIPE"><b>Languages</b></a>
142			group of ENS in Paris and the <a
143			href="http://www.lri.fr/bd"><b>Databases</b></a> group of LRI in
144	abate	1291	Orsay), and one <a href="http://www.inria.fr">INRIA</a> project (the
145	abate	1929	<a href="http://gallium.inria.fr"><b>Gallium</b></a> project).
146	abate	258	</p>
147	abate	1722	<ul>
148	abate	1929	<li><local href="papers"/></li>
149			<li><local href="funding"/></li>
150	abate	1722	<li><local href="ocaml"/>: integrating
151	abate	1929	CDuce features into <a href="http://caml.inria.fr">OCaml</a></li>
152			<li><a href="http://gallium.inria.fr/~frisch/xstream/">XStream</a>:
153			streaming for XML transformations</li>
154	abate	1722	</ul>
155	abate	258
156	abate	1722	</box>
157	abate	591
158	abate	1722	<box title="Other pages" link="misc">
159			<ul>
160			<li><local href="img"/>.</li>
161			<li><local href="soutenance"/>.</li>
162	abate	1942	<li><local href="soutenance-miachon"/>.</li>
163	abate	1722	<li>An online tool to <local href="dtd2cduce">convert from DTD to
164			CDuce types</local>.</li>
165			<li><local href="bench"/>.</li>
166			</ul>
167	abate	1931
168			<xhtml>
169			<form method="get" action="http://www.google.com/search">
170			<div>
171			<input type="hidden" name="ie" value="UTF-8"/>
172			<input type="hidden" name="oe" value="UTF-8"/>
173			<table><tr><td>
174			<a href="http://www.google.com/">
175			<img style="border:0;" src="http://www.google.com/logos/Logo_40wht.gif"
176			alt="Google"/></a>
177			</td>
178			<td>
179			<input type="text" name="q" size="31" maxlength="255" value=""/>
180			<input type="submit" name="btnG" value="Google Search"/>
181			<input type="hidden" name="domains" value="http://www.cduce.org"/>
182			<br/>
183			<span style="font-size:80%">
184			<input type="radio" name="sitesearch" value=""/> WWW
185			<input type="radio" name="sitesearch" value="http://www.cduce.org"
186			checked="checked"/> http://www.cduce.org
187			</span>
188			<br/>
189			</td></tr></table>
190			</div>
191			</form>
192			</xhtml>
193
194	abate	253	</box>
195
196			<meta>
197			<p>
198			<a href="comeon.htm">
199			<img style="border:0;width:88px;height:31px"
200			src="img/cducepower3.png"
201			alt="Powered by CDuce"/>
202			</a>
203
204	abate	257	<a href="http://validator.w3.org/check?uri=http%3A%2F%2Fwww.cduce.org">
205	abate	253	<img style="border:0;width:88px;height:31px"
206			src="http://www.w3.org/Icons/valid-xhtml10"
207			alt="Valid XHTML 1.0!"/>
208			</a>
209
210	abate	1430	<a href="http://jigsaw.w3.org/css-validator/check/referer">
211	abate	253	<img style="border:0;width:88px;height:31px"
212			src="http://jigsaw.w3.org/css-validator/images/vcss"
213			alt="Valid CSS!"/>
214			</a>
215
216			<a href="http://www.ens.fr">
217			<img style="border:0"
218	abate	1411	src="img/symbENSmio.gif"
219	abate	253	alt="ENS" title="ENS"/>
220			</a>
221
222			<a href="http://www.u-psud.fr">
223			<img style="border:0"
224			src="img//symbP11mio.gif"
225			alt="Paris 11" title="Paris 11"/>
226			</a>
227
228			<a href="http://www.cnrs.fr">
229			<img style="border:0"
230	abate	1411	src="img/symbCNRSmio.gif"
231	abate	253	alt="CNRS" title="CNRS"/>
232			</a>
233	abate	1411	<a href="http://www.inria.fr">
234			<img style="border:0"
235			src="img/inria.gif"
236			alt="INRIA" title="INRIA"/>
237			</a>
238	abate	1597	<script type="text/javascript" src="http://codice.shinystat.it/cgi-bin/getcod.cgi?USER=cducer"></script>
239	abate	253	</p>
240			</meta>
241
242			</page>