trunk/web/index.xml

<?xml version="1.0" encoding="utf-8" standalone="yes"?>
<page name="index" url="/">

<title>CDuce</title>
<page_header>
  <form method="get" action="http://www.google.com/search">
    <div>
      <input name="ie" type="hidden" value="UTF-8"/><input name="oe" type="hidden" value="UTF-8"/>
      <table>
        <tr>
          <td>
            <a href="http://www.google.com/">
              <img alt="Google" src="http://www.google.com/logos/Logo_40wht.gif" style="border:0;"/>
            </a>
          </td>
          <td>
            <input name="q" size="31" type="text" maxlength="255" value=""/><input name="btnG" type="submit" value="Google Search"/>
            <input name="domains" type="hidden" value="http://www.cduce.org"/>
            <br/>
            <span style="font-size:80&#37;">
              <input name="sitesearch" type="radio" value=""/> WWW 
              <input name="sitesearch" type="radio" checked="checked" value="http://www.cduce.org"/>
              http://www.cduce.org
            </span>
            <br/>
          </td>
        </tr>
      </table>
    </div>
  </form>
</page_header>
<!--
<banner>
  <img title="CDuce" src="img/cduce_logo.jpg" width="400" height="206"
       alt="CDuce"/>
</banner>
-->
<page_footer>
<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.pps.jussieu.fr">
<img style="border:0"
     src="img/logopps.png"
     alt="PPS" title="PPS"/>
</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>
<script type="text/javascript"  src="http://codice.shinystat.it/cgi-bin/getcod.cgi?USER=cducer"></script>
</p>
</page_footer>

<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="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>: a <local href="tutorial"/> of CDuce, its <a
href="manual.html">User's guide</a>, a
<a href="memento.html">Quick reference card</a>, and much more.</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>

<halfwidth_box title="Latest News" link="news" position="left">
<p><b>2011, Oct 24th: CDuce 0.5.5 and OcCDuce 0.2 are out.</b><br/> These versions can be
  used with XProc programs, and with the new CDuce library 
  <local href="cduce_ws">CDuce_WS</local> for Web Services
  programming.
</p>
<p><b>2011, May 17th: CDuce 0.5.4 is out.</b><br/> This version can be
  integrated with <a href="http://ocsigen.org">Ocsigen</a> using 
  <a href="http://ocsigen.org/occduce">OcCDuce</a> and fixes some bugs.
</p>
<p><b>2010, Sep 26th: New web site design</b><br/> ... and development continues (in particular to bring in various kinds of polymorphism, smooth integration with <a href="http://ocsigen.org">Ocsigen</a>, and web-services).
</p>

<p><b>2009, Feb 14th: CDuce 0.5.3 is out!</b><br/> This version is a port to OCaml 3.11 and
    latest Curl libraries. 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, 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>

</halfwidth_box>

<halfwidth_box title="CDuce: the research project" link="research" position="right">

<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.pps.jussieu.fr"><b>PPS laboratory</b></a> of  University of Paris 7 and the <a href="http://proval.lri.fr/"><b>Proval Group</b></a> in LRI laboratory of University Paris 11 (past contributors to this project include the <a
href="http://www.di.ens.fr/~castagna/EQUIPE">Languages</a>
group of ENS in Paris and the <a href="http://gallium.inria.fr">Gallium</a> project in <a href="http://www.inria.fr">INRIA</a>).
</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>

</halfwidth_box>

<halfwidth_box title="Other pages" link="misc" position="right">
<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>

</halfwidth_box>

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