| 1 |
<?xml version="1.0" encoding="ISO-8859-1" standalone="yes"?> |
<?xml version="1.0" encoding="ISO-8859-1" standalone="yes"?> |
| 2 |
<page output="index.php"> |
<page name="index"> |
| 3 |
|
|
| 4 |
<title>CDuce</title> |
<title>CDuce</title> |
| 5 |
<banner> |
<banner> |
| 7 |
alt="CDuce"/> |
alt="CDuce"/> |
| 8 |
</banner> |
</banner> |
| 9 |
|
|
| 10 |
<!-- ********* Left panel ********* --> |
<left> |
| 11 |
<navig> |
<p>On this page:</p> |
| 12 |
|
<boxes-toc/> |
| 13 |
<toc/> |
<p>Under this page:</p> |
| 14 |
|
<pages-toc/> |
| 15 |
|
</left> |
| 16 |
|
|
| 17 |
|
<external href="/cgi-bin/cduce" title="Online demo" name="proto"/> |
| 18 |
|
<include file="bench.xml"/> |
| 19 |
|
<include file="memento.xml"/> |
| 20 |
|
<include file="papers.xml"/> |
| 21 |
|
<include file="examples.xml"/> |
| 22 |
|
<include file="team.xml"/> |
| 23 |
|
<include file="tutorial.xml"/> |
| 24 |
|
<include file="sitemap.xml"/> |
| 25 |
|
|
| 26 |
|
<!-- |
| 27 |
<box> |
<box> |
| 28 |
<ul> |
<ul> |
| 29 |
<li><a href="plan.php">Site map</a></li> |
<li><a href="plan.php">Site map</a></li> |
| 36 |
<li><a href="tutorial.php">Tutorial</a></li> |
<li><a href="tutorial.php">Tutorial</a></li> |
| 37 |
</ul> |
</ul> |
| 38 |
</box> |
</box> |
| 39 |
|
--> |
| 40 |
|
|
| 41 |
<box> |
<left> |
| 42 |
|
|
| 43 |
<p> CDuce ("seduce") is a new typed functional language with |
<p> CDuce ("seduce") is a new typed functional language with |
| 44 |
innovative features.</p> |
innovative features.</p> |
| 55 |
XML types play a central role in CDuce. |
XML types play a central role in CDuce. |
| 56 |
</p> |
</p> |
| 57 |
|
|
| 58 |
</box> |
</left> |
| 59 |
|
|
| 60 |
<box> |
<left> |
| 61 |
<p> All pages of this site were automatically generated from an XML description of |
<p> All pages of this site were automatically generated from an XML description of |
| 62 |
the content by <a href="examples.php#site"> the following CDuce program</a>. |
the content by <a href="examples.php#site"> the following CDuce program</a>. |
| 63 |
</p><p> |
</p><p> |
| 64 |
<img src="img/cducepower2.jpg" alt="Powered by CDuce"/></p> |
<img src="img/cducepower2.jpg" alt="Powered by CDuce"/></p> |
| 65 |
</box> |
</left> |
|
|
|
|
<toc/> |
|
|
|
|
|
|
|
|
</navig> |
|
|
|
|
|
<!-- ********* Main panel ********* --> |
|
| 66 |
|
|
|
<main> |
|
| 67 |
|
|
| 68 |
<box title="What is CDuce ?" link="whatis"> |
<box title="What is CDuce ?" link="whatis"> |
| 69 |
|
|
| 90 |
</section> |
</section> |
| 91 |
</box> |
</box> |
| 92 |
|
|
| 93 |
<box title="Design and features" link="whatis"> |
<box title="Design and features" link="design"> |
| 94 |
<p> Our point of view and our guideline for the design of CDuce is |
<p> Our point of view and our guideline for the design of CDuce is |
| 95 |
that a programming language for XML should take XML types ( |
that a programming language for XML should take XML types ( |
| 96 |
DTD, XML Schema, Relax-NG, ...) seriously. We expect the following |
DTD, XML Schema, Relax-NG, ...) seriously. We expect the following |
| 245 |
</p> |
</p> |
| 246 |
</meta> |
</meta> |
| 247 |
|
|
|
</main> |
|
| 248 |
</page> |
</page> |