| 1 |
<?xml version="1.0" encoding="utf-8" standalone="yes"?>
|
| 2 |
<page name="index" url="/">
|
| 3 |
|
| 4 |
<title>CDuce</title>
|
| 5 |
<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 |
<!--
|
| 33 |
<banner>
|
| 34 |
<img title="CDuce" src="img/cduce_logo.jpg" width="400" height="206"
|
| 35 |
alt="CDuce"/>
|
| 36 |
</banner>
|
| 37 |
-->
|
| 38 |
<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 |
|
| 46 |
<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 |
|
| 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 |
<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 |
<left>
|
| 87 |
<p>On this page:</p>
|
| 88 |
<boxes-toc/>
|
| 89 |
<p>Under this page:</p>
|
| 90 |
<pages-toc/>
|
| 91 |
</left>
|
| 92 |
|
| 93 |
<include file="download.xml"/>
|
| 94 |
<!--<external href="http://reglisse.ens.fr/cgi-bin/cduce" title="Online
|
| 95 |
demo" name="proto"/>-->
|
| 96 |
<include file="documentation.xml"/>
|
| 97 |
<include file="resources.xml"/>
|
| 98 |
<!-- <include file="hacking.xml"/> -->
|
| 99 |
<!-- Note: this is no longer relevant -->
|
| 100 |
<include file="ocaml.xml"/>
|
| 101 |
<!--<include file="stages.xml"/>-->
|
| 102 |
<include file="funding.xml"/>
|
| 103 |
<include file="contacts.xml"/>
|
| 104 |
<include file="sitemap.xml"/>
|
| 105 |
|
| 106 |
<left>
|
| 107 |
<p>This site is automatically generated
|
| 108 |
by <a href="examples.html#site">a CDuce program</a>.
|
| 109 |
</p><p><img src="img/cducepower.jpg" alt="Powered by CDuce"/></p>
|
| 110 |
</left>
|
| 111 |
|
| 112 |
<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 |
<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 |
<li> Some <local href="examples">examples</local> of CDuce programs</li>
|
| 123 |
<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 |
<p><b>2011, Oct 24th: CDuce 0.5.5 and OcCDuce 0.2 are out.</b><br/> These versions can be
|
| 150 |
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 |
<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 |
<a href="http://ocsigen.org/occduce">OcCDuce</a> and fixes some bugs.
|
| 157 |
</p>
|
| 158 |
<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 |
<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 |
<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 |
<br/>
|
| 170 |
For Fedora 8 and higher just execute as root
|
| 171 |
</p>
|
| 172 |
<sample highlight="false">
|
| 173 |
yum install cduce
|
| 174 |
</sample>
|
| 175 |
|
| 176 |
|
| 177 |
|
| 178 |
<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 |
<p><b>2008, Jan 30th: CDuce 0.5.1 is out!</b><br/>
|
| 187 |
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 |
file to know what's new.
|
| 192 |
</p>
|
| 193 |
|
| 194 |
<p><b>2007, Jun 12th: CDuce 0.5.0 is out!</b><br/>
|
| 195 |
See the <local href="download"/>
|
| 196 |
page for download information, or the <a href="http://www.cduce.org/cgi-bin/viewcvs.cgi/*checkout*/cduce/trunk/CHANGES">CHANGES</a>
|
| 197 |
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 |
<p><b>2007, May 23rd: CDuce 0.4.2 is out!</b><br/>
|
| 204 |
See the <local href="download"/>
|
| 205 |
page for download information, or the <a href="http://www.cduce.org/cgi-bin/viewcvs.cgi/*checkout*/cduce/trunk/CHANGES">CHANGES</a>
|
| 206 |
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 |
<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 |
OCamlDuce</b>
|
| 222 |
<br/>
|
| 223 |
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 |
</halfwidth_box>
|
| 231 |
|
| 232 |
<halfwidth_box title="CDuce: the research project" link="research" position="right">
|
| 233 |
|
| 234 |
<p> The CDuce project is a spin-off of a research effort split
|
| 235 |
amongst two <a href="http://www.cnrs.fr">CNRS</a> labs: the
|
| 236 |
<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 |
</p>
|
| 240 |
<ul>
|
| 241 |
<li><local href="papers"/></li>
|
| 242 |
<li><local href="funding"/></li>
|
| 243 |
<li><local href="ocaml"/>: integrating
|
| 244 |
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 |
</ul>
|
| 248 |
|
| 249 |
</halfwidth_box>
|
| 250 |
|
| 251 |
<halfwidth_box title="Other pages" link="misc" position="right">
|
| 252 |
<ul>
|
| 253 |
<li><local href="img"/>.</li>
|
| 254 |
<li><local href="soutenance"/>.</li>
|
| 255 |
<li><local href="soutenance-miachon"/>.</li>
|
| 256 |
<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 |
|
| 261 |
</halfwidth_box>
|
| 262 |
|
| 263 |
</page>
|
Parent Directory
| 
Revision Log