/[svn]/web/index.xml

Diff of /web/index.xml

Parent Directory | Revision Log | View Patch Patch

-revision 922 by abate,
Tue Jul 10 18:11:30 2007 UTC
+revision 1571 by abate,
Tue Jul 10 19:03:53 2007 UTC
 Line 1
  <?xml version="1.0" encoding="ISO-8859-1" standalone="yes"?>
- <page name="index">
+ <page name="index" url="/">
  <title>Home page</title>
  <banner>
 Line 14
  <pages-toc/>
  </left>
+ <!--<external href="http://reglisse.ens.fr/cgi-bin/cduce" title="Online
+ demo" name="proto"/>-->
  <external href="/cgi-bin/cduce" title="Online demo" name="proto"/>
+ <include file="demo.xml"/>
  <include file="download.xml"/>
  <include file="bench.xml"/>
  <include file="papers.xml"/>
+ <include file="stages.xml"/>
  <include file="documentation.xml"/>
  <include file="examples.xml"/>
- <include file="hacking.xml"/>
+ <!-- <include file="hacking.xml"/> -->
+ <!-- Note: this is no longer relevant -->
+ <include file="tips.xml"/>
+ <include file="contrib.xml"/>
  <include file="mailing.xml"/>
  <include file="team.xml"/>
+ <include file="funding.xml"/>
+ <include file="dtd2cduce.xml"/>
  <include file="sitemap.xml"/>
  <left>
  <p> CDuce ("seduce") is a new typed functional language with
-Line 48
+Line 56
  <left>
  <p> All pages of this site were automatically generated from an XML description of
  the content by <a href="examples.html#site">the following CDuce program</a>.
- </p><p>
+ </p><p><img src="img/cducepower.jpg" alt="Powered by CDuce"/></p>
- <img src="img/cducepower2.jpg" alt="Powered by CDuce"/></p>
  </left>
  <box title="Latest News" link="news">
+ <section title="2005, March 22th, Wednesday: CDuce 0.3.2">
+ <p>
+ See the <local href="download"/>
+ page for download information, or the <a href="CHANGES">CHANGES</a>
+ file to know what's new.
+ </p>
+ <p>
+ GODI users can simply select the <tt>apps-cduce</tt> package to
+ install CDuce 0.3.0. Another option is to use the
+ <tt>apps-cduce-cvs</tt> package to follow the development tree.
+ </p>
+ </section>
+ <section title="2005, March 9th, Wednesday: CDuce 0.3.0">
+ <p>
+ See the <local href="download"/>
+ page for download information, or the <a href="CHANGES">CHANGES</a>
+ file to know what's new.
+ </p>
+ <p>
+ GODI users can simply select the <tt>apps-cduce</tt> package to
+ install CDuce 0.3.0. Another option is to use the
+ <tt>apps-cduce-cvs</tt> package to follow the development tree.
+ </p>
+ </section>
+ <section title="2005, January 14th, Friday: CDuce 0.2.2">
+ <p>
+ See the <local href="download"/>
+ page for download information, or the <a href="CHANGES">CHANGES</a>
+ file to know what's new.
+ </p>
+ <p>
+ GODI users can simply select the <tt>apps-cduce</tt> package to
+ install CDuce 0.2.2. Another option is to use the
+ <tt>apps-cduce-cvs</tt> package to follow the development tree.
+ </p>
+ </section>
+ <section title="2004, September 13th, Monday: CDuce 0.2.1">
+ <p>
+ We added a string:// scheme for load_xml and load_html and load_file (it makes
+ the load function parse the string that follows the scheme) and the
+ the code was updated to OCaml 3.08.1, PXP 1.1.95.
+ </p>
+ </section>
+ <section title="2004, July 5th, Monday: CDuce 0.2.0 is out !">
+ <p>
+ The long-awaited CDuce 0.2.0 is out. See the <local href="download"/>
+ page for download information, or the <a href="CHANGES">CHANGES</a>
+ file to know what's new.
+ </p>
+ <p>
+ GODI users can simply select the <tt>apps-cduce</tt> package to
+ install CDuce 0.2.0.
+ </p>
+ <p>
+ Enjoy !
+ </p>
+ </section>
+ <!--
  <section title="2003, December 8th, Monday: New addition to papers.">
  <p>
  A paper on the optimized implementation of pattern matching
-Line 103
+Line 173
  </p>
  <br/>
  </section>
+ -->
  </box>
  <box title="What is CDuce ?" link="whatis">
  <p> <b>CDuce</b> is modern programming language, adapted to the
- manipulation of XML documents.  It is developed by the <a
+ manipulation of XML documents. This 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, two <a href="http://www.cnrs.fr">CNRS</a> labs.
+ Orsay), and one <a href="http://www.inria.fr">INRIA</a> project (the
- See also the <local href="team">CDuce team</local> page,
+ <a href="http://cristal.inria.fr"><b>Cristal</b></a> project).  Please
- our <local href="papers">technical papers</local>.
+ see the <local href="team">CDuce team</local> page for a list of
+ researchers contributing to this research effort. Some <local
+ href="papers">technical papers</local> present the theoretical
+ foundations of the language.
+ </p>
+ <section title="Getting information">
+ <p>
+ The online <local href="documentation">documentation</local>
+ contains a <local href="tutorial"/> and a <local href="manual"/>.
+ You can also have a look at some <local
+ href="examples">examples</local>
+ of CDuce programs.
  </p>
- <section title="Getting more information">
  <p>
  If you want more information about CDuce you can send a mail to
  <tt>info_at_cduce.org</tt> (replace <tt>_at_</tt> with <tt>@</tt>), or
-Line 131
+Line 214
  <section title="Online running prototype">
  <p> To get a feeling of CDuce,
  you can play with the <local href="proto">on-line prototype</local>,
- try the examples and modify them. We also have some
+ try the examples and modify them. </p>
- <local href="examples">larger examples</local>. </p>
+ </section>
- <p>We are planning to distribute a stable release in the next
+ <section title="Download">
- few weeks. To help us prepare this release, you can download a
+ <p>
- <local href="download">beta version</local>, and send your comments.
+ You can <local href="download">download</local> a beta
+ version of CDuce, or a snapshot from the working CVS repository.
  </p>
  </section>
  </box>
  <box title="Design and features" link="design">
  <p> Our point of view and our guideline for the design of CDuce is
  that a programming language for XML should take XML types (
- DTD, XML Schema, Relax-NG, ...) seriously. The benefit are the following:</p>
+ DTD, XML Schema, Relax-NG, ...) seriously into account.
+ The benefits are the following:</p>
  <ul>
  <li> <b>static verifications</b>
-Line 193
+Line 277
  <p>CDuce is fast, functional,
  type-safe, and <b>conforms to basic standards</b>: <a href="http://www.unicode.org">Unicode</a>, <a href="http://www.w3.org/XML/">XML</a>, <a href="http://www.w3.org/TR/REC-xml#dt-doctype">DTD</a>,
- <a href="http://www.w3.org/TR/REC-xml-names/">Namespaces</a> are fully supported, partial support of <a href="http://www.w3.org/TR/xmlschema-1/">XML Schema</a> validation is
+ <a href="http://www.w3.org/TR/REC-xml-names/">Namespaces</a> are fully
- in alpha testing (and undocumented) while queries are being
+ supported, <a href="http://www.w3.org/TR/xmlschema-1/">XML Schema</a>
- implemented.
+ is partially <local href="manual_schema">supported</local>.
  </p>
  <p>
-Line 207
+Line 291
  </p>
  <p>
- The named CDuce was coined by Francesco Zappa Nardelli.
+ The name CDuce was coined by <a
+ href="http://www.di.ens.fr/~zappa">Francesco Zappa Nardelli</a>.
  </p>
+ <footnotes/>
  </box>
+ <!--
  <box title="Research directions" link="research">
  <p>Our plans concerning the design of the core language
  include:</p>
  <ul>
-  <li>interface with other languages and type systems;</li>
+  <li>interface with other languages and type systems
+ <footnote>
+ An <local href="manual_interfacewithocaml">
+ interface between CDuce and OCaml
+ </local> is currently being
+ implemented.
+ </footnote>
+  ;
+  </li>
   <li>efficient evaluation strategies, high-level optimizations;</li>
   <li>a module system to support incremental programming;</li>
   <li>parametric polymorphism;</li>
-Line 239
+Line 336
  We wrote several <local href="papers">technical papers</local> about
  the language design and its theoretical foundations.
  </p>
+ <footnotes/>
  </box>
+ -->
  <box title="XDuce and CDuce" link="xduce">
  <p>
-Line 269
+Line 370
  </box>
- <box title="Related links" link="links">
+ <page name="links" new="">
- <ul>
+ <title>Links</title>
- <li> <link url="http://www.w3.org/XML/"
+ <left>
+ <boxes-toc/>
+ <p>See also:</p>
+ <local-links href="index,team,sitemap"/>
+ </left>
+ <box title="About XML" link="xml">
+ <link url="http://www.w3.org/XML/"
  title="Extensible Markup Language (XML)"> The W3C page on XML. </link>
- </li>
+ <link url="http://www.research.avayalabs.com/user/wadler/xml/"
- <li> <link url="http://www.research.avayalabs.com/user/wadler/xml/"
  title="XML: Some hyperlinks minus the hype"> By Philip Wadler. </link>
- </li>
+ </box>
- <li> <link url="http://xduce.sourceforge.net/"
- title="XDuce"> XDuce home page. </link> </li>
- </ul> </box>
+ <box title="Related languages" link="lang">
+ <link url="http://xduce.sourceforge.net/"
+ title="XDuce"> XDuce home page. </link>
+ <link url="http://www.cis.upenn.edu/~bcpierce/xtatic/"
+ title="Xtatic"> The Xtatic Project. </link>
+ <link url="http://www.comp.nus.edu.sg/~luzm/xhaskell/"
+ title="Xhaskell"> The XHaskell language. </link>
+ </box>
+ </page>
  <meta>
  <p>
-Line 296
+Line 409
       alt="Valid XHTML 1.0!"/>
  </a>
- <a href="http://jigsaw.w3.org/css-validator/">
+ <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!"/>
-Line 304
+Line 417
  <a href="http://www.ens.fr">
  <img style="border:0"
-      src="img//symbENSmio.gif"
+      src="img/symbENSmio.gif"
       alt="ENS" title="ENS"/>
  </a>
-Line 316
+Line 429
  <a href="http://www.cnrs.fr">
  <img style="border:0"
-      src="img//symbCNRSmio.gif"
+      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>
  </p>
+ </meta>
+ <page name="img" new="">
+ <title>Pictures and Logos</title>
+ <include file="soutenance.xml"/>
+ <left>
+ <boxes-toc/>
+ <p>See also:</p>
+ <local-links href="index,team,sitemap"/>
+ </left>
+ <box title="Pictures" link="pictures">
+ <section title="The CDuce team (January 2004 - Venice)">
+ <img src="img/seducers.jpg" alt="The CDuce and XDuce teams"/>
+ <p>
+ From left to right:
+ V�ronique Benzaken,
+ Haruo Hosoya (pretending to be an X-man),
+ C�dric Miachon,
+ Giuseppe Castagna,
+ Alain Frisch,
+ Marwan Burelle.
+ </p>
+ </section>
+ <section title="The CDuce and XDuce teams (January 2004 - Venice)">
+ <img src="img/C+X.jpg" alt="The CDuce and XDuce teams"/>
+ </section>
+ <section title="Alain (February 2004 - Hakone)">
+ <img src="img/frisch_psd_talk.jpg" alt="Alain Frisch"/>
  <p>
- <a href="mailto:Alain.Frisch@ens.fr">Webmaster</a> -
+ It's all about hand-waving.
- <local href="sitemap">Site map</local>
  </p>
- </meta>
+ </section>
+ <section title="Giuseppe (February 2004 - Hakone)">
+ <img src="img/beppe_whiteboard.jpg" alt="Giuseppe Castagna"/>
+ <p>
+ Beppe cannot stay still for a photo.
+ </p>
+ </section>
+ <section title="Giuseppe (February 2004 - Hakone)">
+ <img src="img/beppe_whiteboard2.jpg" alt="Giuseppe Castagna"/>
+ <p>
+ Beppe cannot stay still for a photo.
+ </p>
+ </section>
+ <section title="Alain's Ph.D defense (13th December 2004)">
+ <p>
+ <local href="soutenance"/>
+ </p>
+ </section>
+ </box>
+ <box title="Logos" link="logos">
+ <p>
+ Feel free to use the following logos on your websites to make
+ reference to CDuce.
+ </p>
+ <p>
+ <img src="img/cduce_logo.jpg" alt="CDuce banner"/>
+ <br/>
+ <img src="img/cducepower.jpg" alt="Powered by CDuce"/>
+ <br/>
+ <img src="img/cducepower2.jpg" alt="Powered by CDuce"/>
+ </p>
+ </box>
+ </page>
  </page>

 Legend:



Removed from v.922
 


changed lines


 
Added in v.1571
 Legend:



Removed from v.922
 


changed lines


 
Added in v.1571
-Removed from v.922
+Added in v.1571

CVS Admin">CVS Admin	ViewVC Help
Powered by ViewVC 1.1.5