| 37 |
|
|
| 38 |
<box title="Latest News" link="news"> |
<box title="Latest News" link="news"> |
| 39 |
|
|
| 40 |
|
<p><b>2008, Jan 30th: CDuce 0.5.1 is out!</b><br/> |
| 41 |
|
See the <local href="download"/> |
| 42 |
|
page for download information, or the <a href="http://www.cduce.org/cgi-bin/viewcvs.cgi/*checkout*/cduce/trunk/CHANGES">CHANGES</a> |
| 43 |
|
file to know what's new. |
| 44 |
|
</p> |
| 45 |
|
|
| 46 |
<p><b>2007, Jun 12th: CDuce 0.5.0 is out!</b><br/> |
<p><b>2007, Jun 12th: CDuce 0.5.0 is out!</b><br/> |
| 47 |
See the <local href="download"/> |
See the <local href="download"/> |
| 48 |
page for download information, or the <a href="CHANGES">CHANGES</a> |
page for download information, or the <a href="http://www.cduce.org/cgi-bin/viewcvs.cgi/*checkout*/cduce/trunk/CHANGES">CHANGES</a> |
| 49 |
file to know what's new. |
file to know what's new. |
| 50 |
</p> |
</p> |
| 51 |
<p> |
<p> |
| 54 |
|
|
| 55 |
<p><b>2007, May 23rd: CDuce 0.4.2 is out!</b><br/> |
<p><b>2007, May 23rd: CDuce 0.4.2 is out!</b><br/> |
| 56 |
See the <local href="download"/> |
See the <local href="download"/> |
| 57 |
page for download information, or the <a href="CHANGES">CHANGES</a> |
page for download information, or the <a href="http://www.cduce.org/cgi-bin/viewcvs.cgi/*checkout*/cduce/trunk/CHANGES">CHANGES</a> |
| 58 |
file to know what's new. |
file to know what's new. |
| 59 |
</p> |
</p> |
| 60 |
<p> |
<p> |
| 79 |
with minimal effort. |
with minimal effort. |
| 80 |
</p> |
</p> |
| 81 |
|
|
|
|
|
|
<!-- |
|
|
|
|
|
|
|
|
<p><b>2006, Oct 2nd: CDuce 0.4.1 is out!</b><br/> |
|
|
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 update their <tt>apps-cduce</tt> package. |
|
|
</p> |
|
|
|
|
|
<section title="2006, May 4th, Tuesday: RPM packages available"> |
|
|
<p> |
|
|
An RPM package for cduce is available in the <local href="download"/> |
|
|
page. It was tested on Fedora Core 4 and 5. |
|
|
</p> |
|
|
</section> |
|
|
|
|
|
|
|
|
|
|
|
<section title="2006, Apr 5th, Tuesday: Embed CDuce in XML, à la PHP"> |
|
|
<p> |
|
|
The first alpha version of <code>xml2cd</code> is available at <a |
|
|
href="http://reglisse.ens.fr/ecduce/Download.html">this page</a>. It allows |
|
|
embedding CDuce expressions into XML files (and vice-versa) à la php. It |
|
|
supports namespaces, automatic dtd downloading etc... . Have a look to the |
|
|
<a |
|
|
href="http://reglisse.ens.fr/ecduce/Getting_to_know_xml2cd.html">Hello World!</a> example |
|
|
</p> |
|
|
</section> |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
<section title="2005, Oct 30th, Sunday: CDuce 0.4.0 is out!"> |
|
|
<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. |
|
|
</p> |
|
|
</section> |
|
|
|
|
|
<section title="2005, May 27th, Friday: Two presentations on some aspects of CDuce"> |
|
|
<p> |
|
|
Those who will spend their summer in Lisbon or Trondheim may be interested in knowing that Giuseppe Castagna will give a couple of presentations on some aspects of CDuce. In particular: |
|
|
</p> |
|
|
<ul> |
|
|
<li>Wed the 13th of July I'll give a talk in Lisbon about the theoretical foundations of the type system of CDuce. See <a href="http://icalp05.di.fct.unl.pt/invited.html"> this page</a> for more information.</li> |
|
|
|
|
|
<li> |
|
|
Sun the 29th of August at 9.30 (date to be confirmed) I'll give a talk in Trondheim about the use of CDuce patterns and types for XML query languages. See <a href="http://research.microsoft.com/conferences/dbpl05/"> this page</a> for more info.</li> |
|
|
|
|
|
</ul> |
|
|
<p> |
|
|
You are welcome to peep in. |
|
|
</p> |
|
|
</section> |
|
|
|
|
|
<section title="2005, May 3rd, Tuesday: CDuce enters Debian testing"> |
|
|
<p> |
|
|
Thanks to Thomas Petazzoni and Stefano Zacchiroli, CDuce 0.3.2 is |
|
|
now packaged and available in Debian testing. Just do |
|
|
<tt>apt-get install cduce</tt>. |
|
|
</p> |
|
|
</section> |
|
|
|
|
|
<section title="2005, April 12th, Tuesday: GODI package for the |
|
|
OCaml+CDuce extension"> |
|
|
<p> |
|
|
A preliminary release of an extension of OCaml with CDuce types |
|
|
has been announced a few days ago on the cduce users mailing list. |
|
|
More information on the page <local href="ocaml"/>. |
|
|
</p> |
|
|
</section> |
|
|
--> |
|
|
<!-- |
|
|
<section title="2005, March 27th, Easter: PDF user manual"> |
|
|
<p> |
|
|
PDF versions of the User manual and of the Tutorial are now available. See the <local href="documentation"/>. |
|
|
</p> |
|
|
</section> |
|
|
|
|
|
<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. |
|
|
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 |
|
|
in CDuce is now available online in the <a href="papers.html">papers page</a>: |
|
|
<i>"Regular tree language recognition with static information"</i>. |
|
|
Another paper, <i>"Greedy regular expression matching"</i> |
|
|
is a preliminary step in an alternative implementation technique |
|
|
(non-uniform representation of values). The two papers will be |
|
|
presented in the PLAN-X 2004 workshop in January (Venice). |
|
|
</p> |
|
|
<br/> |
|
|
</section> |
|
|
|
|
|
<section title="2003, October 26th, Sunday: New addition to papers."> |
|
|
<p> |
|
|
If you want a simple and basic introduction to the theoretical foundations |
|
|
of CDuce, there is a new entry in the <a href="papers.html">papers page</a>: <i>"A Gentle |
|
|
Introduction to Semantic Subtyping"</i>. |
|
|
</p> |
|
|
<br/> |
|
|
</section> |
|
|
|
|
|
<section title="2003, October 17th, Friday: CVS publicly available."> |
|
|
<p> |
|
|
You can now download the development version directly from the cvs tree. See instructions at the <a href="download.html">usual place</a>. Be careful, it may not work, and many features are experimental and undocumented. |
|
|
</p> |
|
|
<br/> |
|
|
</section> |
|
|
|
|
|
|
|
|
<section title="2003, September 23rd, Wednesday: Volunteers sought."> |
|
|
<p> |
|
|
We look for volunteers to prepare an emacs mode for CDuce and to implement a native Win32 or MinGW port. If your are interested please contact |
|
|
us. |
|
|
</p> |
|
|
<br/> |
|
|
</section> |
|
|
|
|
|
|
|
|
<section title="2003, August 16th, Saturday: Version 0.1.1 released."> |
|
|
<p> |
|
|
This version has several bug-fixes and encodes reference types. You can now use |
|
|
<code>:=</code> and <code>;</code>. It is available at the <a href="download.html">usual place</a>. Try this |
|
|
<a href="http://www.cduce.org/cgi-bin/cduce?example=reference">code</a> on |
|
|
the on-line demo for an example on how to use them, and refer to the |
|
|
<a href="manual_expressions.html#ref">manual pages</a> for more |
|
|
information. |
|
|
</p> |
|
|
<br/> |
|
|
</section> |
|
|
--> |
|
| 82 |
</box> |
</box> |
| 83 |
|
|
| 84 |
<box title="What is CDuce ?" link="whatis"> |
<box title="What is CDuce ?" link="whatis"> |
| 174 |
|
|
| 175 |
</box> |
</box> |
| 176 |
|
|
|
<!-- |
|
|
<page name="links" new=""> |
|
|
<title>Links</title> |
|
|
|
|
|
<box title="About XML" link="xml"> |
|
|
<link url="http://www.w3.org/XML/" |
|
|
title="Extensible Markup Language (XML)"> The W3C page on XML. </link> |
|
|
<link url="http://www.research.avayalabs.com/user/wadler/xml/" |
|
|
title="XML: Some hyperlinks minus the hype"> By Philip Wadler. </link> |
|
|
</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> |
|
|
--> |
|
|
|
|
| 177 |
<meta> |
<meta> |
| 178 |
<p> |
<p> |
| 179 |
<a href="comeon.htm"> |
<a href="comeon.htm"> |